pluto-link.patch

   1 --- pluto-0.11.4/src/Makefile.am.orig   2015-12-03 18:18:37.103391073 +0100
   2 +++ pluto-0.11.4/src/Makefile.am        2015-12-03 20:47:35.216349310 +0100
   3 @@ -44,7 +44,8 @@
   4  lib_LTLIBRARIES = libpluto.la
   5
   6  # libpluto doesn't use polylib-based functions
   7 -libpluto_la_SOURCES = constraints.c constraints_isl.c math_support.c ddg.c transforms.c pluto.c post_transform.c framework.c polyloop.c iss.c libpluto.c libpluto_dummy.c constraints.h math_support.h pluto.h program.c program.h tile.c
   8 +# - not true, uses pluto_contstraints_(intersect|subtract)
   9 +libpluto_la_SOURCES = constraints.c constraints_polylib.c constraints_isl.c math_support.c ddg.c transforms.c pluto.c post_transform.c framework.c polyloop.c iss.c libpluto.c  constraints.h math_support.h pluto.h program.c program.h tile.c
  10  libpluto_la_CPPFLAGS = $(OPT_FLAGS) $(DEBUG_FLAGS) \
  11     -DLIB_PLUTO -DSCOPLIB_INT_T_IS_MP -DCLOOG_INT_GMP \
  12     -I../include
  13 @@ -56,4 +57,5 @@
  14     -lclan \
  15     -lcandl \
  16     -lisl \
  17 +   -lpolylibgmp \
  18     -lm -lgomp