diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 19:12:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 19:12:43 +0000 |
commit | 1dfb57de029dbef0b5d05561891f841b5ba87291 (patch) | |
tree | af5e68857b43c84a175dc3f5c692bc38213821cb /Makefile.builds.in | |
parent | d4e7b9cce6947498738bd3cfb67c11e3bf6c8dbe (diff) |
coding standard fix on SmtEngine; fix recursive make
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index 0955518bf..00551ea6f 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -12,11 +12,10 @@ bindir = @bindir@ libdir = @libdir@ abs_builddir = @abs_builddir@ -.PHONY: _default_build_ +.PHONY: _default_build_ all _default_build_: all all: (cd $(CURRENT_BUILD) && $(MAKE) $@) - # populate builds/$(CURRENT_BUILD)/bin and builds/$(CURRENT_BUILD)/lib $(mkinstalldirs) "$(CURRENT_BUILD)$(bindir)" "$(CURRENT_BUILD)$(libdir)" $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/libcvc4.la "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/parser/libcvc4parser.la "$(abs_builddir)$(libdir)" @@ -25,7 +24,6 @@ all: eval "(cd $(CURRENT_BUILD)/src/main && $$relink_command)" 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)" $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/parser/libcvc4parser.la "`pwd`$(libdir)" |