diff options
author | Tobias Grosser <grosser@fim.uni-passau.de> | 2012-08-02 11:47:26 +0400 |
---|---|---|
committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2012-08-02 11:47:26 +0400 |
commit | c11349c55a90122a64bef2a6e1b1eb6e366d8e96 (patch) | |
tree | 43b28ee683c7a05e81210e9d7ee666223bacea1d /polly/cmake | |
parent | 7020f516227e0718e55bef21d2ef685a9b8c4839 (diff) |
Add support for libpluto as the scheduling optimizer.
llvm-svn: 161157
Diffstat (limited to 'polly/cmake')
-rw-r--r-- | polly/cmake/FindPluto.cmake | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/polly/cmake/FindPluto.cmake b/polly/cmake/FindPluto.cmake new file mode 100644 index 000000000000..78d8563b8220 --- /dev/null +++ b/polly/cmake/FindPluto.cmake @@ -0,0 +1,19 @@ +FIND_PATH(PLUTO_INCLUDE_DIR pluto/libpluto.h) + +FIND_LIBRARY(PLUTO_LIBRARY NAMES pluto) + +IF (PLUTO_INCLUDE_DIR AND PLUTO_LIBRARY) + SET(PLUTO_FOUND TRUE) +ENDIF (PLUTO_INCLUDE_DIR AND PLUTO_LIBRARY) + + +IF (PLUTO_FOUND) + IF (NOT PLUTO_FIND_QUIETLY) + MESSAGE(STATUS "Found Pluto: ${PLUTO_LIBRARY}") + ENDIF (NOT PLUTO_FIND_QUIETLY) +ELSE (PLUTO_FOUND) + IF (PLUTO_FIND_REQUIRED) + MESSAGE(FATAL_ERROR "Could not find Pluto") + ENDIF (PLUTO_FIND_REQUIRED) +ENDIF (PLUTO_FOUND) + |