--- isl-0.14.1/Makefile.am.orig	2015-06-09 00:57:27.063200000 +0400
+++ isl-0.14.1/Makefile.am	2015-06-09 00:59:20.587200000 +0400
@@ -164,7 +164,7 @@
 	isl_vertices_private.h \
 	isl_vertices.c
 libisl_la_LIBADD = @MP_LIBS@
-libisl_la_LDFLAGS = -version-info @versioninfo@ \
+libisl_la_LDFLAGS = -version-info @versioninfo@ -no-undefined \
 	@MP_LDFLAGS@
 
 isl_test_LDFLAGS = @MP_LDFLAGS@