diff options
| author | Gtker <git@gtker.com> | 2022-09-24 11:13:27 +0200 |
|---|---|---|
| committer | Gtker <git@gtker.com> | 2022-09-24 11:13:27 +0200 |
| commit | 9d6fa9312fc26b87fd0aafb1812c53ebf7194e57 (patch) | |
| tree | f81e96fd2672f394ea5f25defbd84522d0e67f60 /test/StormTest.cpp | |
| parent | 7a664bf6be4377aabe03f118fcdb6d1d3abc48f5 (diff) | |
Add `STORM_USE_BUNDLED_LIBRARIES` option that defaults to OFF
This makes builds more reproducible since they aren't dependent on
whatever library happens to be installed.
Diffstat (limited to 'test/StormTest.cpp')
0 files changed, 0 insertions, 0 deletions