@ -34,13 +34,25 @@ if (CMAKE_OSX_SYSROOT)
set ( CUDD_INCLUDE_FLAGS "CPPFLAGS=--sysroot=${CMAKE_OSX_SYSROOT}" ) set ( CUDD_INCLUDE_FLAGS "CPPFLAGS=--sysroot=${CMAKE_OSX_SYSROOT}" )
endif ( ) endif ( )
set ( CUDD_CXX_COMPILER "${CMAKE_CXX_COMPILER}" )
if ( "${CMAKE_CXX_COMPILER_ID}" STREQUAL "AppleClang" )
if ( CMAKE_CXX_COMPILER_VERSION VERSION_EQUAL 12.0.0.12000032 )
if ( CMAKE_HOST_SYSTEM_VERSION VERSION_GREATER_EQUAL 20.1.0 )
message ( WARNING "There are some known issues compiling CUDD on some setups. We implemented a workaround that mostly works, but if you still have problems compiling CUDD, especially if you do not use the default compiler of your system, please contact the Storm developers." )
# T h e i s s u e i s k n o w n t o o c c u r u s i n g t h e C o m m a n d L i n e T o o l s f o r X C o d e 1 2 . 2 . A p p a r e n t l y , i t i s f i x e d i n t h e b e t a f o r X C o d e 1 2 . 3 .
set ( CUDD_CXX_COMPILER "c++" )
endif ( )
endif ( )
endif ( )
ExternalProject_Add ( ExternalProject_Add (
c u d d 3 c u d d 3
D O W N L O A D _ C O M M A N D " " D O W N L O A D _ C O M M A N D " "
S O U R C E _ D I R $ { S T O R M _ 3 R D P A R T Y _ S O U R C E _ D I R } / c u d d - 3 . 0 . 0 S O U R C E _ D I R $ { S T O R M _ 3 R D P A R T Y _ S O U R C E _ D I R } / c u d d - 3 . 0 . 0
P R E F I X $ { S T O R M _ 3 R D P A R T Y _ B I N A R Y _ D I R } / c u d d - 3 . 0 . 0 P R E F I X $ { S T O R M _ 3 R D P A R T Y _ B I N A R Y _ D I R } / c u d d - 3 . 0 . 0
P A T C H _ C O M M A N D $ { A U T O R E C O N F } P A T C H _ C O M M A N D $ { A U T O R E C O N F }
C O N F I G U R E _ C O M M A N D $ { S T O R M _ 3 R D P A R T Y _ S O U R C E _ D I R } / c u d d - 3 . 0 . 0 / c o n f i g u r e - - e n a b l e - s h a r e d - - e n a b l e - o b j - - w i t h - p i c = y e s - - p r e f i x = $ { S T O R M _ 3 R D P A R T Y _ B I N A R Y _ D I R } / c u d d - 3 . 0 . 0 - - l i b d i r = $ { C U D D _ L I B _ D I R } C C = $ { C M A K E _ C _ C O M P I L E R } C X X = $ { C M A K E _ C X X _ C O M P I L E R } $ { C U D D _ I N C L U D E _ F L A G S }
C O N F I G U R E _ C O M M A N D $ { S T O R M _ 3 R D P A R T Y _ S O U R C E _ D I R } / c u d d - 3 . 0 . 0 / c o n f i g u r e - - e n a b l e - s h a r e d - - e n a b l e - o b j - - w i t h - p i c = y e s - - p r e f i x = $ { S T O R M _ 3 R D P A R T Y _ B I N A R Y _ D I R } / c u d d - 3 . 0 . 0 - - l i b d i r = $ { C U D D _ L I B _ D I R } C C = $ { C M A K E _ C _ C O M P I L E R } C X X = $ { C U D D _ C X X _ C O M P I L E R } $ { C U D D _ I N C L U D E _ F L A G S }
B U I L D _ C O M M A N D m a k e $ { S T O R M _ C U D D _ F L A G S } B U I L D _ C O M M A N D m a k e $ { S T O R M _ C U D D _ F L A G S }
I N S T A L L _ C O M M A N D m a k e i n s t a l l I N S T A L L _ C O M M A N D m a k e i n s t a l l
B U I L D _ I N _ S O U R C E 0 B U I L D _ I N _ S O U R C E 0
Tim Quatmann
4 years ago