diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-06-12 11:08:11 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-06-12 11:08:11 (GMT) |
| commit | d22ea4f60d6fee6a7dc564e5e83719eb2c189425 (patch) | |
| tree | 9d88fc50d49cfe89882ee49882ba587e6ca1627d /contrib | |
| parent | d3dd2adb09170f2d60d32ff568251209ab4297b1 (diff) | |
| download | uscxml-d22ea4f60d6fee6a7dc564e5e83719eb2c189425.zip uscxml-d22ea4f60d6fee6a7dc564e5e83719eb2c189425.tar.gz uscxml-d22ea4f60d6fee6a7dc564e5e83719eb2c189425.tar.bz2 | |
Some SWI prolog fixes
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/cmake/FindSWI.cmake | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/contrib/cmake/FindSWI.cmake b/contrib/cmake/FindSWI.cmake index 976a19a..bd08711 100644 --- a/contrib/cmake/FindSWI.cmake +++ b/contrib/cmake/FindSWI.cmake @@ -75,12 +75,10 @@ FIND_PROGRAM(SWI_BINARY swipl PATHS ${SWI_SEARCH_PATHS} ) -#message("SWI_BINARY: ${SWI_BINARY}") - FIND_LIBRARY(SWI_LIBRARY_RELEASE NAMES libswipl swipl PATH_SUFFIXES - lib/${SWI_PLATFORM_ID} # still in source directory + lib/${SWI_PLATFORM_ID} # still in source directory lib/swipl-${SWI_VERSION}/lib/${SWI_PLATFORM_ID} # after make install PATHS ${SWI_SEARCH_PATHS} ) @@ -93,7 +91,7 @@ FIND_LIBRARY(SWI_LIBRARY_DEBUG PATHS ${SWI_SEARCH_PATHS} ) -if (NOT SWI_LIBRARY_DEBUG)# no explicit debug build, just reuse release +if (NOT SWI_LIBRARY_DEBUG) # no explicit debug build, just reuse release if (UNIX) set(SWI_LIBRARY_DEBUG ${SWI_LIBRARY_RELEASE}) endif() |