diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-25 09:43:07 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-25 09:43:07 +0000 |
| commit | 843698676de2b31d422254ac35546393a0d2d469 (patch) | |
| tree | fe6c9baade4e5a1ed5530517c0fb314a1df81f8e /Makefile.config.in | |
| parent | e49c1e1958e863195b01d99c92194289b4034bbb (diff) | |
| download | klee-843698676de2b31d422254ac35546393a0d2d469.tar.gz | |
Upstream STP's libstp now depends on boost. This commit updates
the configure script to detect this by first trying to link without boost and if that fails then trying to link libstp with boost. This also updates the relevant Makefiles so that the klee and kleaver executables link in STP's boost dependencies if necessary.
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 35f7bcfe..a6dcdcaa 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -29,6 +29,12 @@ PROJ_INSTALL_ROOT := @prefix@ STP_ROOT := @STP_ROOT@ +STP_NEEDS_BOOST := @STP_NEEDS_BOOST@ + +ifeq ($(STP_NEEDS_BOOST),1) + UPSTREAM_STP_LINK_FLAGS = @UPSTREAM_STP_LINK_FLAGS@ +endif + ENABLE_METASMT := @ENABLE_METASMT@ METASMT_ROOT := @METASMT_ROOT@ |