diff options
| author | Tobias Grosser <grosser@fim.uni-passau.de> | 2012-08-02 07:47:26 +0000 |
|---|---|---|
| committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2012-08-02 07:47:26 +0000 |
| commit | c11349c55a90122a64bef2a6e1b1eb6e366d8e96 (patch) | |
| tree | 43b28ee683c7a05e81210e9d7ee666223bacea1d /polly/autoconf | |
| parent | 7020f516227e0718e55bef21d2ef685a9b8c4839 (diff) | |
| download | llvm-c11349c55a90122a64bef2a6e1b1eb6e366d8e96.zip llvm-c11349c55a90122a64bef2a6e1b1eb6e366d8e96.tar.gz llvm-c11349c55a90122a64bef2a6e1b1eb6e366d8e96.tar.bz2 | |
Add support for libpluto as the scheduling optimizer.
llvm-svn: 161157
Diffstat (limited to 'polly/autoconf')
| -rw-r--r-- | polly/autoconf/configure.ac | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/polly/autoconf/configure.ac b/polly/autoconf/configure.ac index a6d8084..7780055 100644 --- a/polly/autoconf/configure.ac +++ b/polly/autoconf/configure.ac @@ -93,6 +93,14 @@ CXXFLAGS=$saved_CXXFLAGS AS_IF([test "x$cloog_found" = "xyes"], [AC_DEFINE([CLOOG_FOUND],[1],[Define if cloog found])]) +dnl Check that we have libpluto. +saved_CXXFLAGS=$CXXFLAGS +CXXFLAGS="$CXXFLAGS $gmp_inc $isl_inc" +find_lib_and_headers([pluto], [pluto/libpluto.h], [pluto]) +CXXFLAGS=$saved_CXXFLAGS +AS_IF([test "x$pluto_found" = "xyes"], + [AC_DEFINE([PLUTO_FOUND],[1],[Define if pluto found])]) + dnl Check that we have openscop. find_lib_and_headers([openscop], [openscop/scop.h], [openscop]) AS_IF([test "x$openscop_found" = "xyes"], |