sjunges
|
f7d15b882d
|
added compiler version to output of cmake
|
8 years ago |
Sebastian Junges
|
8c77762e72
|
find xercesc is now provided by cmake, so we use that
|
8 years ago |
Matthias Volk
|
cd971ba6fe
|
Set correct example path for tests
|
8 years ago |
dehnert
|
cbd525b40b
|
Cmake adaptions here and there
|
8 years ago |
Matthias Volk
|
eadf03e3df
|
Forgot merge line
|
8 years ago |
Mavo
|
7a34e7a497
|
Force shared lib when using python
Former-commit-id: eed5d3cfed
|
8 years ago |
Mavo
|
7e53f7d084
|
Build python bindings from cmake
Former-commit-id: cd5526ee59
|
8 years ago |
Mavo
|
621cc58a67
|
Ninja recognizes dependencies + build shared libs
Former-commit-id: 569c0da147
|
8 years ago |
hbruintjes
|
697c30e048
|
Use CMake to generate setup.cfg for include and library paths
Former-commit-id: 45f1e210d4
|
9 years ago |
hbruintjes
|
cfbd58b15e
|
Enable dynamic linking on linux, and replace xerces find module by system version
Former-commit-id: 6f6864404d
|
9 years ago |
sjunges
|
f196afcb66
|
moved tests to src folder, have several binaries now instead of a single monolithic test
|
8 years ago |
Sebastian Junges
|
d246517757
|
removed src prefix in all includes
|
8 years ago |
Sebastian Junges
|
e1d201c85e
|
c++ code compiles again after rename
|
8 years ago |
dehnert
|
f0f9831ac3
|
reworked CMake stuff a bit, removed some superfluous things
Former-commit-id: 16df6afd44 [formerly f27354d54c ]
Former-commit-id: 3e706797be
|
8 years ago |
dehnert
|
21a229e3a3
|
fixed gcc compiler flags
Former-commit-id: cb6b1f8b17 [formerly 6511b3ff09 ]
Former-commit-id: 2a1de45aae
|
8 years ago |
sjunges
|
6431d8d410
|
let xerces inclusion work on linux systems
Former-commit-id: 3251cac0e0 [formerly 7b7a8f5f40 ]
Former-commit-id: 13e8bc7a8d
|
8 years ago |
dehnert
|
7c56b43afc
|
adding linker flags that make lto work
Former-commit-id: 2a7e2cb2ff [formerly 230d50f075 ]
Former-commit-id: 7a250517c3
|
8 years ago |
dehnert
|
41960796f1
|
removed prefetch memory flag from clang as it's not supported (unlike for gcc)
Former-commit-id: f091d1236c [formerly 61906bba07 ]
Former-commit-id: 9479100c6a
|
8 years ago |
dehnert
|
bf68b28b26
|
changed default linking type of boost to dynamic, as otherwise g++ complains about non-relocatable code
Former-commit-id: 63ec8b7a0c [formerly bb9fffd681 ]
Former-commit-id: 42afbe5a81
|
8 years ago |
dehnert
|
392f56aab5
|
made jit model builder work on Ubuntu 16.04/g++
Former-commit-id: c9473408cc [formerly dca321927e ]
Former-commit-id: 1bcd57f6da
|
8 years ago |
dehnert
|
299b2d7a56
|
some start on JIT-based model builder
Former-commit-id: b0bffd4908 [formerly 95829c4970 ]
Former-commit-id: 8e98da5dd4
|
8 years ago |
dehnert
|
8e565a2930
|
forcing boost to use old optional implementation to prevent bug in spirit in boost 1.61; everyone can finally update and we take out the option as soon as this is resolved on the boost side of things
Former-commit-id: 92bc4796a0
|
8 years ago |
sjunges
|
ba81925c1d
|
renamed smt2smtsolver to smtlibsmtsolver and cleaned make files
Former-commit-id: 78c74dc9a5
|
8 years ago |
sjunges
|
ae9073ac50
|
moved cpplint in 3rdparty
Former-commit-id: abccea7438
|
9 years ago |
sjunges
|
fdbc0bf694
|
moved doxygen generation file to the resources
Former-commit-id: 445879a8bf
|
9 years ago |
sjunges
|
b8adc74ef9
|
gspn branch compiles and links with cln now
Former-commit-id: 962ffb9334
|
9 years ago |
sjunges
|
cfd6926add
|
a bit of progress
Former-commit-id: bbbb7ff21b
|
9 years ago |
sjunges
|
a36b8ede7b
|
minimal compiler versions, otherwise an error :)
Former-commit-id: 8f638492ed
|
9 years ago |
sjunges
|
5148cd71ea
|
marked several CMAKE_VARIABLES as advanced to avoid cluttering ccmake
Former-commit-id: ff9248b055
|
9 years ago |
sjunges
|
cae5f04d2b
|
first in a series of refactoring the library inclusion to be more adequate
Former-commit-id: e68ada137e
|
9 years ago |
PBerger
|
ec3b5d2aac
|
Removed useless piece of code.
Former-commit-id: 8012cd58de
|
9 years ago |
PBerger
|
291fa31714
|
Fixes for old GCC versions.
Former-commit-id: 8b97eab102
|
9 years ago |
sjunges
|
e0e5cd9f0e
|
progress on support for gmp, with cln everything should be fine
Former-commit-id: c91b5a7cef
|
9 years ago |
Mavo
|
2b399c887b
|
Doxygen not required
Former-commit-id: a5599d681d
|
9 years ago |
sjunges
|
5faebdff86
|
constants in header
Former-commit-id: 281e490873
|
9 years ago |
sjunges
|
0ed499a47f
|
use cln
Former-commit-id: f84ad5842f
|
9 years ago |
sjunges
|
0e6db25188
|
fix in STORM_USE_CLN_NUMBERS
Former-commit-id: 5e11e5d4c5
|
9 years ago |
sjunges
|
7bb65dbb22
|
fix a problem with cln used/unused
Former-commit-id: 2c6a2447a9
|
9 years ago |
hbruintjes
|
067b43525b
|
Add l3pp as project
Former-commit-id: 2ea4009282
|
9 years ago |
dehnert
|
99b9f11d49
|
removed eigen-3.2.6
Former-commit-id: 74fc9f0dbe
|
9 years ago |
dehnert
|
002bd58b2d
|
added shipped version of Eigen to CMakeList
Former-commit-id: b262c2023e
|
9 years ago |
TimQu
|
2624f63598
|
added linking with hypro
Former-commit-id: cadca197f1
|
9 years ago |
TimQu
|
b0d2af20ae
|
added check for existence of __builtin_popcountll (reverted from commit 30bcfcad0e [formerly 65f94a6d6e ])
Former-commit-id: 6aaa503f58
|
9 years ago |
TimQu
|
30bcfcad0e
|
added check for existence of __builtin_popcountll
Former-commit-id: 65f94a6d6e
|
9 years ago |
sjunges
|
20511b142a
|
json parser added to link path
Former-commit-id: e2ef4871ea
|
9 years ago |
Mavo
|
bc10291680
|
STORM_DEVELOPER mode introduced
Former-commit-id: 22ff09ad8e
|
9 years ago |
Mavo
|
eeb0f620ec
|
STORM_DEVELOPER mode introduced
Former-commit-id: 2749e19eab
|
9 years ago |
dehnert
|
5934a42898
|
Squashed 'resources/3rdparty/sylvan/' content from commit d91f6ac
git-subtree-dir: resources/3rdparty/sylvan
git-subtree-split: d91f6acb55
|
9 years ago |
hbruintjes
|
382c167c10
|
Print package version information
Former-commit-id: 08484d5cc7
|
9 years ago |
hbruintjes
|
a3fff6b8f6
|
Look for CLN and GiNaC, enable them if found
Former-commit-id: 45cb58477c
|
9 years ago |