diff options
| author | Stefan Radomski <github@mintwerk.de> | 2016-10-25 11:59:18 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2016-10-25 11:59:18 (GMT) |
| commit | 954a1eb75f2abc81da1e09701d700674f0baddfb (patch) | |
| tree | 873eb6412e958ecd53214ddbd6a3e17465da5100 /contrib/cmake | |
| parent | 1a1513c6497e8818eb2a92a8fbf77d4c60bc911e (diff) | |
| download | uscxml-954a1eb75f2abc81da1e09701d700674f0baddfb.zip uscxml-954a1eb75f2abc81da1e09701d700674f0baddfb.tar.gz uscxml-954a1eb75f2abc81da1e09701d700674f0baddfb.tar.bz2 | |
Worked on PROMELA transformation
Diffstat (limited to 'contrib/cmake')
| -rw-r--r-- | contrib/cmake/BuildLibEvent.cmake | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/cmake/BuildLibEvent.cmake b/contrib/cmake/BuildLibEvent.cmake index 79fed51..4e4e7af 100644 --- a/contrib/cmake/BuildLibEvent.cmake +++ b/contrib/cmake/BuildLibEvent.cmake @@ -29,6 +29,8 @@ else () URL_MD5 c4c56f986aa985677ca1db89630a2e11 BUILD_IN_SOURCE 0 PREFIX ${CMAKE_BINARY_DIR}/deps/libevent + PATCH_COMMAND + ${CMAKE_COMMAND} -E copy "${PROJECT_SOURCE_DIR}/contrib/patches/libevent/sierra.kqueue.c" <SOURCE_DIR>/kqueue.c CONFIGURE_COMMAND ${FORCE_FPIC} <SOURCE_DIR>/configure --enable-static --enable-shared --disable-openssl --prefix=<INSTALL_DIR> ) |