Update Singular to 4.0.1

build/pkgs/singular/SPKG.txt

@@ -32,45 +32,9 @@ http://www.singular.uni-kl.de/
 
 == Special Update/Build Instructions ==
 
-See spkg-src.
+See spkg-src to create the source tarball.
 
-== Patches ==
- * assert.patch: logic seems to be broken on some platforms
- * Minor.h.patch: needs to have <time.h> included on Cygwin
- * slibdir.patch: set default slibdir to ${datarootdir}/singular
-   instead of ${prefix}/LIB, see #13344.
- * sanitize_gmp_header_hack.patch:
-   Fix and simplify generation of `factory/cf_gmp.h` (cf. #14737).
- * flint.patch: avoid underlinking FLINT in libsingular.
- * exeext.patch: Add $(EXEEXT) to some executable names.
- * cygwin64.path: Support for Cywgin64.
- * templates.patch: do not use -fno-implicit-templates, which breaks
-   the build with NTL 6.2.1 for some GCC versions.
-
-The following patches fix errors that only occur in a debug build, see
-http://trac.sagemath.org/ticket/16938
-They shouldn't be needed any more in the next Singular version:
-
- * hans-polyvectorerror.patch: Fix erroneous "mixed poly/vector" error
-   message
- * hans-slimgb-and-letterplace.patch: Fix incorrect debug assertions
-   in slimgb and letterplace algebras
- * hans-integerpolys.patch: Fix incorrect assertions in integer
-   polynomials.
-
-
-Other notes
- * The option '--without-dynamic-kernel' is used on *all*
-   systems with the exception of Linux. The online README at
-   http://www.singular.uni-kl.de/svn/trunk/README says this should
-   be used on Solaris, with no mention of it being necessary for
-   OS X, or any other platform except Solaris.
- * The online readme says that CONFIG_SHELL should be set to /bin/bash
-   on Solaris. This is not done currently. Since this does not build
-   fully as a 64-bit application on Solaris, CONFIG_SHELL should be
-   investigated as a possible cause later.
- * Be sure that Singular/Singular.rc.in is present, as occasionally this
-   was missing, which caused problems on Cygwin (e.g., see #10235)
+Other notes:
  * Due to http://www.singular.uni-kl.de:8002/trac/ticket/438, we
    currently always build Singular with its debug code.  Change
    --with-debug to $WITH_DEBUG in the configure call if this is fixed.
@@ -79,3 +43,6 @@ Other notes
    and libsingular library will be slower than with omalloc, but allow
    for easier debugging of memory corruptions.
 
+== Patches ==
+
+ * Currently none

build/pkgs/singular/checksums.ini

@@ -1,4 +1,4 @@
 tarball=singular-VERSION.tar.bz2
-sha1=516f600ce032952bb7923c3b7712782ea076e638
-md5=8dc79c3d2515d9c219ea54b3b9608214
-cksum=2430807783
+sha1=3b51735870bd813263bf6c23ac3c48c612c02459
+md5=6d88a0c460b912270f55718d5f0eaac2
+cksum=3575514982

build/pkgs/singular/package-version.txt

@@ -1 +1 @@
-3.1.7.p0
+4.0.1p1.p0