--- Makefile.am.orig    2013-08-17 15:54:13.577085564 +0800
+++ Makefile.am 2013-08-17 15:54:33.001086125 +0800
@@ -99,7 +99,7 @@
        source/isl/domain.c \
        source/isl/constraints.c \
        source/isl/backend.c
-LDADD = libcloog-isl.la
+LDADD = libcloog-isl.la @ISL_LIBS@
 cloog_DEPENDENCIES = libcloog-isl.la
 cloog_SOURCES = source/cloog.c
 
--- Makefile.in.orig    2013-08-17 15:54:19.049085722 +0800
+++ Makefile.in 2013-08-17 15:54:43.577086429 +0800
@@ -454,7 +454,7 @@
        source/isl/constraints.c \
        source/isl/backend.c
 
-LDADD = libcloog-isl.la
+LDADD = libcloog-isl.la @ISL_LIBS@
 cloog_DEPENDENCIES = libcloog-isl.la
 cloog_SOURCES = source/cloog.c
 pkginclude_HEADERS = \