Changeset bdb9f5 in git

Timestamp:

Aug 26, 2013, 1:53:55 AM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

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

Children:

035b6439d8381335d8497466228554322c60d1de

Parents:

033e00f6e4890efd144712c5719cdffdd79e8598

git-author:

Martin Lee <martinlee84@web.de>2013-08-26 01:53:55+02:00

git-committer:

Martin Lee <martinlee84@web.de>2013-08-30 13:48:38+02:00

Message:

chg: extract version from flint.h

File:

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

Singular/misc_ip.cc

@@ -769 +769 @@
 }
 
+/* version strings */
+#ifdef HAVE_FLINT
+#ifdef __cplusplus
+extern "C"
+{
+#endif
+#ifndef __GMP_BITS_PER_MP_LIMB
+#define __GMP_BITS_PER_MP_LIMB GMP_LIMB_BITS
+#endif
+#include <flint/flint.h>
+#ifdef __cplusplus
+}
+#endif
+#endif
+
 char * versionString()
 {
@@ -797 +812 @@
 #endif
 
+#ifdef HAVE_FACTORY
 #ifdef HAVE_FLINT
-// #include <NTL/version.h>
-              StringAppend("FLINT(??){'%s','%s'},", FLINT_CFLAGS, FLINT_LIBS);
-#endif
-   
+              StringAppend("FLINT(%s){'%s','%s'},",version, FLINT_CFLAGS, FLINT_LIBS);
+#endif
+#endif
 
 #if SIZEOF_VOIDP == 8