Skip to content

Commit a7a2364

Browse files
committed
Moved STORM_FORCE_POPCNT to correct position.
Thanks @sjunges.
1 parent d45d93d commit a7a2364

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,14 +34,14 @@ option(STORM_PORTABLE "Sets whether a build needs to be portable." OFF)
3434
MARK_AS_ADVANCED(STORM_PORTABLE)
3535
# Force POPCNT is helpful for portable code targeting platforms with SSE4.2 operation support.
3636
option(STORM_FORCE_POPCNT "Sets whether the popcnt instruction is forced to be used." OFF)
37+
MARK_AS_ADVANCED(STORM_FORCE_POPCNT)
3738
option(BUILD_SHARED_LIBS "Build the Storm library dynamically" OFF)
3839
option(STORM_COMPILE_WITH_CCACHE "Compile using CCache [if found]" ON)
3940
mark_as_advanced(STORM_COMPILE_WITH_CCACHE)
4041
option(STORM_USE_LTO "Sets whether link-time optimizations are enabled." ON)
4142
MARK_AS_ADVANCED(STORM_USE_LTO)
4243
option(STORM_USE_THIN_LTO "Sets whether thin link-time optimizations are enabled (faster compile times than normal LTO)." OFF)
4344
MARK_AS_ADVANCED(STORM_USE_THIN_LTO)
44-
MARK_AS_ADVANCED(STORM_FORCE_POPCNT)
4545
option(STORM_COMPILE_WITH_ADDRESS_SANITIZER "Sets whether to compile with AddressSanitizer enabled" OFF)
4646
option(STORM_COMPILE_WITH_ALL_SANITIZERS "Sets whether to compile with all sanitizers enabled" OFF)
4747
option(STORM_COMPILE_WITH_COMPILATION_PROFILING "Compile with output to profile compilation process" OFF)

0 commit comments

Comments
 (0)