Changeset 87977c7 in git for configure.ac

Timestamp:

Jul 25, 2013, 12:47:23 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

2ea18609e14482a4ddbe0fd0d68b8d5885268a0c

Parents:

c3066da943ed65e5390f6c04d9a69f7710bfc83547e8b0441e7692a4a4b6c2f23817976fe5203f1c

Message:

Merge pull request #342 from YueRen/spielwiese

Spielwiese

File:

• configure.ac (modified) (4 diffs)

configure.ac

@@ -42 +42 @@
 if test -z "$DOXYGEN";
    then AC_MSG_WARN([Doxygen not found - continuing without Doxygen support])
-fi 
+fi
 AM_CONDITIONAL([HAVE_DOXYGEN], [test -n "$DOXYGEN"])
-                                                                    
+
 LT_INIT
 
@@ -85 +85 @@
 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...
@@ -145 +146 @@
 AC_DEFINE_UNQUOTED([LDFLAGS],"$LDFLAGS",[LDFLAGS])
 AC_DEFINE_UNQUOTED([LIBS],"$LIBS",[LIBS])
- 
-  
+
+
 SING_SHOW_FLAGS([Compiler/linker flags: ])
 
-    
+
 AM_COND_IF([HAVE_DOXYGEN], [AC_CONFIG_FILES([dox/Doxyfile])])
 AC_CONFIG_FILES([dox/Makefile])
@@ -173 +174 @@
 AC_CONFIG_FILES([dyn_modules/syzextra/Makefile])
 AC_CONFIG_FILES([dyn_modules/callgfanlib/Makefile])
+AC_CONFIG_FILES([dyn_modules/callpolymake/Makefile])
 
 AC_CONFIG_FILES([Singular/Makefile])