singular: Fix ntl dependency

[timokau]

Motivation for this change

I added the ntl dependency in my recent PR (#38768). I failed to actually tell singular where to find it though, so its not used.

I'm pretty sure this worked for me before and I can't remember removing the --with-ntl line, but it doesn't find it now so I must've removed it some time.

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Fits CONTRIBUTING.md.

---

[dotlambda]

@GrahamcOfBorg build singular

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: singular

Partial log (click to expand)

// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/homolog.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/deform.lib (4.1.1.0,Feb_2018)
// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/gmssing.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/linalg.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/qhmoduli.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/rinvar.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/zeroset.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1/bin/../share/singular/LIB/primitiv.lib (4.1.1.0,Dec_2017)
Auf Wiedersehen.
/nix/store/pzvbd9cvqzpm0gffnza8w5hz1jpm4j5z-singular-4.1.1p1

[dotlambda]

I just noticed the following line in the build log:

./configure: line 9572: /usr/bin/file: No such file or directory

Don't think that's a problem however.

[GrahamcOfBorg]

Success on aarch64-linux (full log)

Attempted: singular

Partial log (click to expand)

// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/homolog.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/deform.lib (4.1.1.0,Feb_2018)
// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/gmssing.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/linalg.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/qhmoduli.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/rinvar.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/zeroset.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1/bin/../share/singular/LIB/primitiv.lib (4.1.1.0,Dec_2017)
Auf Wiedersehen.
/nix/store/pfq45fgdipvh68f9fhzcv0aw4rlkisxj-singular-4.1.1p1

[timokau]

Better safe than sorry, I fixed the warning.

[7c6f434c]

@GrahamcOfBorg build singular

[GrahamcOfBorg]

No attempt on x86_64-darwin (full log)

The following builds were skipped because they don't evaluate on x86_64-darwin: singular

Partial log (click to expand)

a) For `nixos-rebuild` you can set
  { nixpkgs.config.allowUnsupportedSystem = true; }
in configuration.nix to override this.

b) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
  { allowUnsupportedSystem = true; }
to ~/.config/nixpkgs/config.nix.

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: singular

Partial log (click to expand)

// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/homolog.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/deform.lib (4.1.1.0,Feb_2018)
// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/gmssing.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/linalg.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/qhmoduli.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/rinvar.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/zeroset.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1/bin/../share/singular/LIB/primitiv.lib (4.1.1.0,Dec_2017)
Auf Wiedersehen.
/nix/store/fivmprdswsmhp89kzpzs0bvg1awkm32m-singular-4.1.1p1

[GrahamcOfBorg]

Success on aarch64-linux (full log)

Attempted: singular

Partial log (click to expand)

// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/homolog.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/deform.lib (4.1.1.0,Feb_2018)
// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/gmssing.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/linalg.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/qhmoduli.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/rinvar.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/zeroset.lib (4.1.1.0,Dec_2017)
// ** loaded /nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1/bin/../share/singular/LIB/primitiv.lib (4.1.1.0,Dec_2017)
Auf Wiedersehen.
/nix/store/bqc34pizm4sk8rr0maidhqnf1v11r9qw-singular-4.1.1p1