diff options
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)" |