diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-08 10:10:20 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-08 10:10:20 +0000 |
commit | 2163539a8b839acf98bda0e1a65f1fcca5232fb2 (patch) | |
tree | 207a09896626f678172ec774459defa6690b0200 /Makefile.builds.in | |
parent | abe5fb451ae66a4bedc88d870e99f76de4eb323c (diff) |
work on propositional layer, expression builder support for large expressions, output classes, and minisat
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index f6e17b4ca..0955518bf 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -23,8 +23,8 @@ all: thelibdir="$(abs_builddir)$(libdir)"; 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)" - ln -sfv "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib - ln -sfv "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin + test -e $(CURRENT_BUILD)/lib || ln -sfv "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib + test -e $(CURRENT_BUILD)/bin || ln -sfv "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin # populate builds/bin and builds/lib mkdir -pv ".$(bindir)" ".$(libdir)" $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/libcvc4.la "`pwd`$(libdir)" @@ -32,8 +32,8 @@ all: 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)" - ln -sfv ".$(libdir)" lib - ln -sfv ".$(bindir)" bin + test -e lib || ln -sfv ".$(libdir)" lib + test -e bin || ln -sfv ".$(bindir)" bin %: (cd $(CURRENT_BUILD) && $(MAKE) $@) |