Changeset f84f82 in git

Timestamp:

Nov 6, 2013, 2:10:35 PM (9 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

da7eaf561933d677968dbf5e5b17b8a9e33117d5

Parents:

6008fe44cedc7793187b6229700bf1202ed3b6b0

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-11-06 14:10:35+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-11-06 15:37:35+01:00

Message:

Fixing BS

Files:

• Makefile.am (modified) (1 diff)
• configure.ac (modified) (3 diffs)

Makefile.am

@@ -5 +5 @@
 endif
 
-if HAVE_GFANLIB 
-  USE_GFANLIB = gfanlib
-endif
-
-
-
-
 SUBDIRS = resources omalloc xalloc $(USE_FACTORY) \
-libpolys kernel numeric $(USE_GFANLIB) dyn_modules \
+libpolys kernel numeric gfanlib dyn_modules \
 IntegerProgramming Singular dox \
 emacs debian redhat desktop

configure.ac

@@ -63 +63 @@
 LB_CHECK_NTL(5.0,,AC_MSG_WARN([Unable to find NTL (which is strongly recommended) on your machine: please use --with-ntl=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
 LB_CHECK_FLINT(2.3,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
-LB_CHECK_MATHICGB
-
+
+AC_CONFIG_GOOGLE_PERFTOOLS()
 
 AX_PYTHON_DEFAULT()
 AX_PYTHON_WITH_VERSION([2.4])
 
-AC_CONFIG_GOOGLE_PERFTOOLS()
+LB_CHECK_MATHICGB
 
 AC_FUNC_ERROR_AT_LINE
@@ -85 +85 @@
 esac
 
+
+SING_CHECK_POLYMAKE
+SING_CHECK_GFANLIB
 
 SING_CHECK_P_PROCS
@@ -90 +93 @@
 SING_CHECK_READLINE
 SING_CHECK_DBM
-SING_CHECK_GFANLIB
-SING_CHECK_POLYMAKE
 
 ### the following is needed due to the use of om_sing_opt_show_mem in misc_ip.cc...