Upgrade Singular to version 3-1-5 (released 12 July 2012).

Upstream bugs discovered:

• #437: negate() should be NTL::negate() (upstream needs testers)
• #438: Singular configured --without-debug doesn't build ("fixed" by removing the option)
• #439: factorize() returns wrong constant (fixed upstream, but not in a stable release)
• #440: Factoring over a finite field returns reducible factor (fixed upstream, but not in a stable release)
• #441: Factoring over a finite field sometimes returns wrong result (fixed upstream, but not in a stable release)
• #443: configure should check for nanosleep in -lrt (fixed upstream, but not in a stable release)

This new version fixes #13129, #12918, #12928, #12846, #12089, #13344.

Apply attachment: 13237_singular_3_1_5.patch and attachment: 13237_tests.patch to the Sage library.

New spkg: http://boxen.math.washington.edu/home/jdemeyer/spkg/singular-3-1-5.p1.spkg

singular-3-1-5.p1 (Simon King, 29 August 2012)

• Trac Upgrade Singular #13237: add patch install_table.patch

singular-3-1-5.p0 (Jeroen Demeyer, Alexander Dreyer, 10 August 2012)

• Trac Upgrade Singular #13237: Upgrade to version 3-1-5.
• Removed patches which are now upstreamed:
  • patches/Singular.Makefile.in.shared.patch
  • patches/Singular.configure.patch
  • patches/factory.GNUmakefile.in.patch
  • patches/factory_configure
  • patches/make_parallel.patch
  • patches/os_x_ppc.patch
• In spkg-install, simplify apply_patches(), automatically apply all
  patches in patches/*.patch, move conditional patches to
  patches/conditional
• Rename some patches such that they all have the extension '.patch'
• Put the two patches for SAGE_DEBUG (Singular.Makefile.in.debug.patch
  and kernel.Makefile.in.debug.patch) into one file
  conditional/sage_debug.patch.
• Add several patches (see above):
  • NTL_negate.patch
  • singular_trac_439.patch
  • singular_trac_440.patch
  • singular_trac_441.patch
  • singular_trac_443.patch
  • sage_trac_12089.patch
  • slibdir.patch
• When building Singular, don't first make install and then
  make install-nolns. Instead, only do the latter.
• Don't create the LIB->lib symlink, which is no longer needed.
• In spkg-install, remove distclean() step; merge clean_headers() and
  part of the old distclean() into remove_old_version().
• Only unset LD on Darwin.
• Remove the unsetting of TMPDIR (bug fixed upstream).
• Do not override user-set CFLAGS and CXXFLAGS.
• Echo all error messages to stderr instead of stdout.
• Fix various ./configure options and remove some unsupported options.
• Always configure --with-debug, as --without-debug doesn't work, see
  http://www.singular.uni-kl.de:8002/trac/ticket/438
• Don't create sage_singular symlink, which wasn't used anyway.
• Replace the $SAGE_LOCAL/bin/Singular script by a symlink.
• Remove workaround for GCC-4.0.x on Darwin (obsolete by the GCC spkg).
• Fix formatting of spkg-install (consistent indentation, no TABs).

Upstream: None of the above - read trac for reasoning.

CC: @kiwifb @malb @jpflori

Component: packages: standard

Keywords: Singular spkg

Author: Jeroen Demeyer, Alexander Dreyer, Dmitrii Pasechnik, Karl-Dieter Crisman, Jean-Pierre Flori

Reviewer: Alexander Dreyer, François Bissey

Merged: sage-5.4.beta0

Issue created by migration from https://trac.sagemath.org/ticket/13237