diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-01-15 14:19:48 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-01-15 14:19:48 (GMT) |
commit | 333348d70b9cb6dab149ff57bdf9345cdee9e0ef (patch) | |
tree | 01a062266363c30355833217e712aed2c332c454 /contrib/cmake | |
parent | a0013f1457494b00f2caca1eb4f23a3475be2259 (diff) | |
download | uscxml-333348d70b9cb6dab149ff57bdf9345cdee9e0ef.zip uscxml-333348d70b9cb6dab149ff57bdf9345cdee9e0ef.tar.gz uscxml-333348d70b9cb6dab149ff57bdf9345cdee9e0ef.tar.bz2 |
Started prolog datamodel
Diffstat (limited to 'contrib/cmake')
-rw-r--r-- | contrib/cmake/FindSWI.cmake | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/contrib/cmake/FindSWI.cmake b/contrib/cmake/FindSWI.cmake index 9fbdc77..4c71ecd 100644 --- a/contrib/cmake/FindSWI.cmake +++ b/contrib/cmake/FindSWI.cmake @@ -51,15 +51,17 @@ endif() #message(STATUS "SWI_PLATFORM_PATH: ${SWI_PLATFORM_PATH}, SWI_HOME: ${SWI_HOME}") -if (SWI_PLATFORM_PATH) +if (SWI_PLATFORM_PATH OR SWI_INCLUDE_HINT) FIND_PATH(SWI_INCLUDE_DIR SWI-Prolog.h PATH_SUFFIXES include PATHS ${SWI_HOME} + HINTS ${SWI_INCLUDE_HINT} ) FIND_LIBRARY(SWI_LIBRARY_RELEASE NAMES libswipl swipl PATHS ${SWI_PLATFORM_PATH} + HINTS ${SWI_LIBRARY_HINT} ) if (SWI_LIBRARY_RELEASE) |