diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-05 00:40:57 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-05 00:40:57 +0000 |
| commit | 200f36785acf7aac3e7e230795ea7ffdb6b1ed64 (patch) | |
| tree | f75b5f5ddab8a479b9ed80340f102cfd1d28f882 /Makefile.builds.in | |
| parent | 49c66a500e7252c58e8967d3d9d38d53a95a5318 (diff) | |
more build system work
Diffstat (limited to 'Makefile.builds.in')
| -rw-r--r-- | Makefile.builds.in | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in new file mode 100644 index 000000000..f6e17b4ca --- /dev/null +++ b/Makefile.builds.in @@ -0,0 +1,39 @@ +# -*- makefile -*- + +include current + +@SET_MAKE@ + +install_sh = @install_sh@ +mkinstalldirs = $(install_sh) -d +exec_prefix = @exec_prefix@ +prefix = @prefix@ +bindir = @bindir@ +libdir = @libdir@ +abs_builddir = @abs_builddir@ + +.PHONY: _default_build_ +_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)" + 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 + # 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)" + 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 + +%: + (cd $(CURRENT_BUILD) && $(MAKE) $@) |