Tim Quatmann
d135bc8ecb
cmake: Workaround for the FATAL_ERROR that occurred whenever building shipped carl was aborted (bypassing github issue #62 ).
4 years ago
Tim Quatmann
90ade051c2
Added CMAKE option STORM_LOAD_QVBS to automatically download the quantitative verification benchmark set
5 years ago
Tim Quatmann
74f7cd17ea
Changed the target directory for the downloaded Eigen headers so that they are now located within the build folder (hopefully avoiding conflicts with multiple build-folders).
Made the include path for the Eigen headers more unique, so we no longer use the headers at /urs/include/ instead.
5 years ago
Tim Quatmann
739ef0b8b4
Updated Eigen version. This fixes issue #77
We also now clone Eigen from the eigen git and perform a patch step. This makes updating the eigen versions more easy in the future.
5 years ago
Tim Quatmann
743dc3e8b1
Cmake: Silence some cmake warnings that recently appear (part 2)
5 years ago
Tim Quatmann
48395f1218
Cmake: Fixed capitalization of z3 and hwloc to silence some cmake warnings that recently appear.
5 years ago
Sebastian Junges
542f94babd
report on gurobi library, extended libraries and prefer (empirically) newer versions over older versions
5 years ago
Tim Quatmann
03a77f9c6a
Added new Gurobi version
5 years ago
Matthias Volk
7339f487a9
Fixed BUILD_BYPRODUCTS for Ninja
5 years ago
Tim Quatmann
98e3ac5ad7
integrated new gtest version in cmake.
5 years ago
Tim Quatmann
60e78dd438
cmake: Do not search for CLN if it is not needed.
5 years ago
Matthias Volk
a0d8c959e4
Changed SEND_ERROR to FATAL_ERROR in CMakeLists for resources
5 years ago
Matthias Volk
b15ba29d9e
Disable search for boost-cmake
5 years ago
Sebastian Junges
28f8c9d821
Fix as proposed by Lord Hobborg in Issue 53
5 years ago
Tim Quatmann
2cb7b5769e
Jit: Fixed issues when CLN and/or GMP is installed via carl
5 years ago
Sebastian Junges
d295f6e777
export of bdds into dot and text format
6 years ago
Matthias Volk
9c52d0d2ab
Workaround for IntelTBB linker issue by CMake/Regex magic.
IntelTBB does not use symlinks (as commonly used) to reference its libraries but instead uses linker scripts.
These linker scripts do not work with GCC and linking fails.
As a workaround we manually set the correct library in CMake after extracting the path from the linker script with regex magic.
This workaround is highly hackish and might break in the future.
6 years ago
TimQu
9dcbd69c09
CMake: Added a comment why we link statically against mathsat on macOS.
6 years ago
Tim Quatmann
a2190c04b0
Added new versions to FindGurobi.cmake
6 years ago
Tim Quatmann
1d52d577cb
Fixed linking with Mathsat on macOS
6 years ago
Tim Quatmann
6b32bd1dc3
cmake: Added option to specify a path to the qvbs benchmarks.
6 years ago
Matthias Volk
425eb4b1a9
Made version check for master14 branch of carl more robust
6 years ago
Sebastian Junges
42f49d8914
support for carl:c++14 tag
6 years ago
Matthias Volk
785dbbdcdb
CMake version parsing of z3 without z3 binary
6 years ago
Sebastian Junges
53e9179722
CMake more stable in case z3 version is not obtained
6 years ago
dehnert
cdfa328464
first attempt at adapting to Z3 interface change
7 years ago
Matthias Volk
9e398ffaab
Minor improvements for some CMake output
7 years ago
dehnert
e019bf19d1
fixing Z3 hint handling
7 years ago
dehnert
01dc240eea
fixed checking carl version
7 years ago
Matthias Volk
945e360bcf
Increased minimal carl version to 17.10
7 years ago
dehnert
f6eadc14ca
adding proper carl_DIR when using shipped carl
7 years ago
dehnert
a8caaf83c2
made passing carl to sylvan more robust
7 years ago
dehnert
1460e8f969
proper forwarding of Boost include directories to sylvan CMakeLists.txt
7 years ago
dehnert
7d65bd5e2e
fixing carl version check
7 years ago
dehnert
3185719fe5
fix for linking issue under linux, adding missing l3pp dependency l3pp_ext
7 years ago
dehnert
b09cb95254
fixed wrong call in sylvan double to rational number conversion
7 years ago
dehnert
da02237769
work towards symbolic rational search
7 years ago
Matthias Volk
4626aa0e69
Updated search for mathsat in cmake and fixed linker problem
7 years ago
dehnert
43643b9699
bump gmm++ version to 5.2 (from 5.0)
7 years ago
Joachim Klein
40a982430c
cmake for carl: handle situation where carl version information is missing
Older carl versions don't provide detailed version information, so we
provide an informative error message instead of cmake syntax errors during
the comparison.
7 years ago
dehnert
75ec21b1d6
remove USE_CARL variable and add option to take hint for carl directory
7 years ago
Sebastian Junges
c639f39076
require carl version 17.08
7 years ago
dehnert
cdf76b0c15
fixed DD-based quotient extraction in bisimulation
7 years ago
Matthias Volk
5bdbc00bcd
Changed carlConfig path for shipped carl
8 years ago
Matthias Volk
e4783846e0
Changed carlConfig path for shipped carl
8 years ago
Sebastian Junges
56616f1e26
trying to clarify sylvan dependency on carl
8 years ago
Sebastian Junges
bec6b664d9
actually check carl version, error if outdated
8 years ago
dehnert
e5cbc25f00
properly installing dylib resulting from shipped carl build (now considers carl version)
8 years ago
dehnert
44d582dc65
added more output about CArL when it's found on the system
8 years ago
dehnert
cebd3d252d
fixed include directory (cmake) for shipped carl
8 years ago