anchor.diff:  { stdenv, fetchurl, gmp, bison, perl, ncurses, readline, coreutils, pkgconfig
  +, lib
   , autoreconfHook
   , file
   , flint
  
positive.code:       -i '{}' ';'
    '';
  
    hardeningDisable = stdenv.lib.optional stdenv.isi686 "stackprotector";
  
    # The Makefile actually defaults to `make install` anyway
    buildPhase = "true;";
  
    installPhase = ''
      mkdir -p "$out"
  
negative.code:   # simple test to make sure singular starts and finds its libraries
    doInstallCheck = true;
    installCheckPhase = ''
      "$out/bin/Singular" -c 'LIB "freegb.lib"; exit;'
      if [ $? -ne 0 ]; then
          echo >&2 "Error loading the freegb library in Singular."
          exit 1
  