Changeset 0319b3 in git

Timestamp:

Dec 14, 2000, 6:30:06 PM (22 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')

Children:

a550fd54a18a491f775e167f5dafa2a66b32b21b

Parents:

e6ad6a7fd5b9f92e598bc1761a529d6d8f0bf64d

Message:

* minor changes


git-svn-id: file:///usr/local/Singular/svn/trunk@4908 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• configure.in (modified) (4 diffs)

configure.in

@@ -349 +349 @@
     CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
     ac_configure_args="$ac_configure_args --enable-gmp"
+    enable_gmp=yes
 #    This we used to need for our patched version of gmp 2.x
 #    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
@@ -394 +395 @@
     CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
     ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
+    enable_gmp=yes
   else
     AC_MSG_RESULT(no)
@@ -407 +409 @@
     if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
       ac_configure_args="$ac_configure_args --enable-gmp"
+      enable_gmp=yes
     fi
   fi
@@ -420 +423 @@
 
 # Check whether we need to cheat subsequent configures with --enable-gmp
-if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes; then
+if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
   ac_configure_args="$ac_configure_args --enable-gmp"
 fi