diff options
Diffstat (limited to 'config/cloog.m4')
| -rw-r--r-- | config/cloog.m4 | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/config/cloog.m4 b/config/cloog.m4 index 5193f4e..a92ef2e 100644 --- a/config/cloog.m4 +++ b/config/cloog.m4 @@ -22,12 +22,6 @@ # Initialize clooglibs/clooginc according to the user input. AC_DEFUN([CLOOG_INIT_FLAGS], [ - AC_ARG_WITH(cloog, - [AS_HELP_STRING( - [--with-cloog=PATH], - [Specify prefix directory for the installed CLooG-PPL package. - Equivalent to --with-cloog-include=PATH/include - plus --with-cloog-lib=PATH/lib])]) AC_ARG_WITH([cloog-include], [AS_HELP_STRING( [--with-cloog-include=PATH], @@ -72,11 +66,7 @@ AC_DEFUN([CLOOG_INIT_FLAGS], fi clooginc="-DCLOOG_INT_GMP ${clooginc}" - clooglibs="${clooglibs} -lcloog-isl ${isllibs}" - - dnl Flags needed for CLOOG - AC_SUBST(clooglibs) - AC_SUBST(clooginc) + clooglibs="${clooglibs} -lcloog-isl ${isllibs} -lisl" ] ) |