sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Turn off Cotire by default (because it triggers internal compilation errors not only in clang, but also in gcc 4.7). Signed-off-by: dehnert.

tempestpy_adaptions
david 12 years ago
parent
1539062a47
commit
cfb721a66e
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      CMakeLists.txt

2
CMakeLists.txt
View File

@ -49,6 +49,7 @@ option(DEBUG "Sets whether the DEBUG mode is used" ON)
option(USE_POPCNT "Sets whether the popcnt instruction is going to be used." ON) option(USE_POPCNT "Sets whether the popcnt instruction is going to be used." ON)
option(USE_BOOST_STATIC_LIBRARIES "Sets whether the Boost libraries should be linked statically." ON) option(USE_BOOST_STATIC_LIBRARIES "Sets whether the Boost libraries should be linked statically." ON)
option(USE_INTELTBB "Sets whether the Intel TBB Extensions should be used." OFF) option(USE_INTELTBB "Sets whether the Intel TBB Extensions should be used." OFF)
option(STORM_USE_COTIRE "Sets whether Cotire should be used (for building precompiled headers)." OFF)
# If the DEBUG option was turned on, we will target a debug version and a release version otherwise # If the DEBUG option was turned on, we will target a debug version and a release version otherwise
if (DEBUG) if (DEBUG)
@ -200,7 +201,6 @@ if (USE_INTELTBB)
target_link_libraries(storm-tests tbb tbbmalloc) target_link_libraries(storm-tests tbb tbbmalloc)
endif(USE_INTELTBB) endif(USE_INTELTBB)
set (STORM_USE_COTIRE ON)
if (APPLE) if (APPLE)
set(STORM_USE_COTIRE OFF) set(STORM_USE_COTIRE OFF)

Write Preview
Loading…
Cancel
Save