From ea3dc8186f008605ec9bca8d5e1a880fa57959e7 Mon Sep 17 00:00:00 2001 From: skimo Date: Sun, 29 Aug 2004 15:07:54 +0000 Subject: [PATCH] check for piplib --- Makefile.am | 6 +++++- configure.in | 23 +++++++++++++++++++++++ 2 files changed, 28 insertions(+), 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index f18f05c..453d626 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,6 +1,8 @@ lib_LTLIBRARIES = libbarvinok.la noinst_PROGRAMS = test barvinok_count randomtest barvinok_enumerate \ - verif_ehrhart barvinok_enumerate_e verif_ehrhart_e + verif_ehrhart barvinok_enumerate_e verif_ehrhart_e \ + @bv_extra_programs@ +EXTRA_PROGRAMS = piptest pkginclude_HEADERS = barvinok.h util.h ev_operations.h libbarvinok_la_SOURCES = \ @@ -10,6 +12,8 @@ libbarvinok_la_SOURCES = \ util.h \ barvinok.cc \ barvinok.h +EXTRA_libbarvinok_la_SOURCES = \ + piputil.h libbarvinok_la_LIBADD = @LTLIBOBJS@ -lstdc++ libbarvinok_la_LDFLAGS = -version-info @versioninfo@ LDADD = libbarvinok.la diff --git a/configure.in b/configure.in index bb1614b..8685749 100644 --- a/configure.in +++ b/configure.in @@ -128,6 +128,29 @@ AC_TRY_COMPILE([#include ], [count_points takes four arguments])], [AC_MSG_RESULT(3)]) +AC_ARG_WITH(piplib, + [ --with-piplib=DIR DIR Location of PolyLib], + [ echo "Package piplib : $withval" && piplib_package=$withval], + [ piplib_package=yes ]) + +AC_SUBST(bv_extra_programs) +if test "$piplib_package" != "no"; then + if test "$piplib_package" != "yes"; then + CPPFLAGS="-I$piplib_package/include $CPPFLAGS" + LDFLAGS="-L$piplib_package/lib $LDFLAGS" + fi + + AC_CHECK_LIB(piplibMP, pip_solve,[ + AC_DEFINE(HAVE_PIPLIB,[],[use piplib]) + LIBS="-lpiplibMP $LIBS" + AC_LIBOBJ(piputil) + bv_extra_programs="piptest $bv_extra_programs" + ],[ + AC_MSG_WARN([Piplib not found]) + ]) +fi + + AC_MSG_CHECKING(if --enable-fractional option specified) AC_ARG_ENABLE(fractional, [ --enable-fractional Use fractional representation], -- 2.11.4.GIT