Changeset d828d63 in git for Singular/misc_ip.cc

Timestamp:

Aug 2, 2012, 10:29:12 AM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

0419aba8292e7109329604d8ad03b70f8ef65423

Parents:

85bcd6879cf375abcd839182c40d607f5e1e7884

Message:

removed MPSR stuff

File:

• Singular/misc_ip.cc (modified) (4 diffs)

Singular/misc_ip.cc

@@ -367 +367 @@
 
 
-/* version strings */
-#ifdef HAVE_MPSR
-#include <MP_Config.h>
-#endif
-
 /*2
 * the renice routine for very large jobs
@@ -761 +756 @@
               StringAppend("NTL(%s),",NTL_VERSION);
 #endif
-#ifdef HAVE_MPSR
-              StringAppend("MP(%s),",MP_VERSION);
-#endif
 #if SIZEOF_VOIDP == 8
               StringAppendS("64bit,");
@@ -1003 +995 @@
 * the global exit routine of Singular
 */
-#ifdef HAVE_MPSR
-void (*MP_Exit_Env_Ptr)()=NULL;
-#endif
-
 extern "C" {
 
@@ -1054 +1042 @@
     }
   }
-  #ifdef HAVE_MPSR
-  if (MP_Exit_Env_Ptr!=NULL) (*MP_Exit_Env_Ptr)();
-  #endif
   exit(i);
 }