anchor.diff:      sha256 = "0wvgz7l1b7zkpmim0r3mvv4fp8xnhlbz4c7hc90rn30snlansnf1";
     };
   
  -  configureFlags = stdenv.lib.optionals enableFactory [
  +  configureFlags = [
  +    "--with-ntl=${ntl}"
  +  ] ++stdenv.lib.optionals enableFactory [
       "--enable-factory"
     ] ++ stdenv.lib.optionals enableGfanlib [
       "--enable-gfanlib"
  
positive.code:   ] ++ stdenv.lib.optionals enableGfanlib [
      cddlib
    ];
    nativeBuildInputs = [ autoconf bison perl pkgconfig autoreconfHook ];
  
    preConfigure = ''
      find . -type f -exec sed -e 's@/bin/rm@${coreutils}&@g' -i '{}' ';'
      find . -type f -exec sed -e 's@/bin/uname@${coreutils}&@g' -i '{}' ';'
    '';
  
    hardeningDisable = stdenv.lib.optional stdenv.isi686 "stackprotector";
  
negative.code: { stdenv, fetchurl, gmp, bison, perl, autoconf, ncurses, readline, coreutils, pkgconfig
  , autoreconfHook
  , file
  , flint
  , ntl
  , cddlib
  