Changeset 837509 in git

Timestamp:

Apr 28, 2016, 11:31:53 AM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

2404ab7838d5ded0fb15ea39e4ec0e63970e496c

Parents:

7a08a8f00b9c54b89d6aa6ca54bd50016a12e92b

Message:

reproducible builds for official distribution

Location:

Singular

Files:

• ipshell.h (modified) (1 diff)
• misc_ip.cc (modified) (4 diffs)

Singular/ipshell.h

@@ -38 +38 @@
 //extern cmdnames cmds[];
 extern const char *lastreserved;
-extern const char *singular_date; /* tesths.cc, set by final compile */
 extern int myynest;
 extern int printlevel;

Singular/misc_ip.cc

@@ -43 +43 @@
 #include "links/silink.h"
 #include "mod_lib.h"
+#include <Singular/distrib.h>
 
 static FORCE_INLINE void number2mpz(number n, mpz_t m){ number2mpz(n, coeffs_BIGINT, m); }
@@ -776 +777 @@
 #endif
 
+#ifndef MAKE_DISTRIBUTION
+const char *singular_date=__DATE__ " " __TIME__;
+#endif
+
 char * versionString(/*const bool bShowDetails = false*/ )
 {
@@ -781 +786 @@
   StringAppend("Singular for %s version %s (%d, %d bit) %s #%s",
                S_UNAME, VERSION, // SINGULAR_VERSION,
-               SINGULAR_VERSION, SIZEOF_VOIDP*8, singular_date, GIT_VERSION);
+               SINGULAR_VERSION, SIZEOF_VOIDP*8, 
+#ifdef MAKE_DISTRIBUTION
+               VERSIO_DATE, GIT_VERSION);
+#else
+               singular_date, GIT_VERSION);
+#endif
   StringAppendS("\nwith\n\t");
 
@@ -1156 +1166 @@
 }
 
-const char *singular_date=__DATE__ " " __TIME__;
-
 extern "C"
 {