diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-22 06:54:19 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-22 06:54:19 +0000 |
commit | 69d6fcbf56ed823461189f2488e5c2b2f44dca02 (patch) | |
tree | 9074ffd26dd0201f914985df69d4643e455eacbf /Makefile.builds.in | |
parent | 65fa7fd4d674e00624657255c24748e580ef50d6 (diff) |
fix bug 33 (statically link the "cvc4" binary); also main driver cleanup
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index 650d7be6d..f26111c4f 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -57,9 +57,8 @@ ifeq ($(BUILDING_SHARED),1) progdir="$(abs_builddir)$(bindir)"; file=cvc4; \ eval `grep '^relink_command=' $(CURRENT_BUILD)/src/main/cvc4 | sed 's:-Wl,-rpath:-Wl,-rpath -Wl,\\\\$$thelibdir -Wl,-rpath:'`; \ eval "(cd $(CURRENT_BUILD)/src/main && $$relink_command)" -endif -ifeq ($(BUILDING_STATIC),1) -# if we're building static libs, just install them directly +else +# if we're building static libs only, just install the driver binary directly $(install_sh) \ $(CURRENT_BUILD)/src/main/cvc4 \ "$(abs_builddir)$(bindir)" @@ -78,9 +77,8 @@ ifeq ($(BUILDING_SHARED),1) thelibdir="`pwd`$(libdir)"; progdir="`pwd`$(bindir)"; file=cvc4; \ eval `grep '^relink_command=' $(CURRENT_BUILD)/src/main/cvc4 | sed 's:-Wl,-rpath:-Wl,-rpath -Wl,\\\\$$thelibdir -Wl,-rpath:'`; \ eval "(cd $(CURRENT_BUILD)/src/main && $$relink_command)" -endif -ifeq ($(BUILDING_STATIC),1) -# if we're building static libs, just install them directly +else +# if we're building static libs only, just install the driver binary directly $(install_sh) $(CURRENT_BUILD)/src/main/cvc4 "`pwd`$(bindir)" endif # set up builds/bin and builds/lib |