-- isl-0.11.2/Makefile.am      2013-04-10 00:44:46.000000000 +0800
+++ isl.Makefile.am     2013-08-17 16:06:56.853107623 +0800
@@ -160,7 +160,7 @@
 isl_test_LDADD = libisl.la @GMP_LIBS@
 
 isl_polyhedron_sample_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
-isl_polyhedron_sample_LDADD = libisl.la
+isl_polyhedron_sample_LDADD = libisl.la @GMP_LIBS@
 isl_polyhedron_sample_SOURCES = \
        polyhedron_sample.c
 
@@ -189,22 +189,22 @@
        polyhedron_minimize.c
 
 isl_polytope_scan_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
-isl_polytope_scan_LDADD = libisl.la
+isl_polytope_scan_LDADD = libisl.la @GMP_LIBS@
 isl_polytope_scan_SOURCES = \
        polytope_scan.c
 
 isl_polyhedron_detect_equalities_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
-isl_polyhedron_detect_equalities_LDADD = libisl.la
+isl_polyhedron_detect_equalities_LDADD = libisl.la @GMP_LIBS@
 isl_polyhedron_detect_equalities_SOURCES = \
        polyhedron_detect_equalities.c
 
 isl_cat_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
-isl_cat_LDADD = libisl.la
+isl_cat_LDADD = libisl.la @GMP_LIBS@
 isl_cat_SOURCES = \
        cat.c
 
 isl_closure_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
-isl_closure_LDADD = libisl.la
+isl_closure_LDADD = libisl.la @GMP_LIBS@
 isl_closure_SOURCES = \
        closure.c