- fix linking, gmp is required

diff --git a/pluto-system-libs.patch b/pluto-system-libs.patch
index defd1be20bdcaba4d5e8d969ef2bf5b440897b41..2e94428b3c1b4cb5faaec03a91400f2668e4afad 100644 (file)
--- a/pluto-system-libs.patch
+++ b/pluto-system-libs.patch
@@ -147,7 +147,7 @@
 -   $(ISL_LIBADD) \
 -   ../polylib/libpolylib64.la \
 -   ../candl/libcandl.la \
-+   -lpiplibMP -losl -lclan -lcloog-isl -lisl -lpolylibgmp -lcandl \
++   -lpiplibMP -losl -lclan -lcloog-isl -lisl -lpolylibgmp -lcandl -lgmp \
     -lm
  
  lib_LTLIBRARIES = libpluto.la