Makefile.builds.in

   1 # -*- makefile -*-
   2
   3 include current
   4
   5 @SET_MAKE@
   6
   7 install_sh = @install_sh@
   8 mkinstalldirs = $(install_sh) -d
   9 exec_prefix = @exec_prefix@
  10 prefix = @prefix@
  11 bindir = @bindir@
  12 libdir = @libdir@
  13 abs_builddir = @abs_builddir@
  14
  15 .PHONY: _default_build_
  16 _default_build_: all
  17 all:
  18         (cd $(CURRENT_BUILD) && $(MAKE) $@)
  19         # populate builds/$(CURRENT_BUILD)/bin and builds/$(CURRENT_BUILD)/lib
  20         $(mkinstalldirs) "$(CURRENT_BUILD)$(bindir)" "$(CURRENT_BUILD)$(libdir)"
  21         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/libcvc4.la "$(abs_builddir)$(libdir)"
  22         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/parser/libcvc4parser.la "$(abs_builddir)$(libdir)"
  23         thelibdir="$(abs_builddir)$(libdir)"; progdir="$(abs_builddir)$(bindir)"; file=cvc4; \
  24                 eval `grep '^relink_command=' $(CURRENT_BUILD)/src/main/cvc4 | sed 's:-Wl,-rpath:-Wl,-rpath -Wl,\\\\$$thelibdir -Wl,-rpath:'`; \
  25                 eval "(cd $(CURRENT_BUILD)/src/main && $$relink_command)"
  26         test -e $(CURRENT_BUILD)/lib || ln -sfv "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib
  27         test -e $(CURRENT_BUILD)/bin || ln -sfv "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin
  28         # populate builds/bin and builds/lib
  29         mkdir -pv ".$(bindir)" ".$(libdir)"
  30         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/libcvc4.la "`pwd`$(libdir)"
  31         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/parser/libcvc4parser.la "`pwd`$(libdir)"
  32         thelibdir="`pwd`$(libdir)"; progdir="`pwd`$(bindir)"; file=cvc4; \
  33                 eval `grep '^relink_command=' $(CURRENT_BUILD)/src/main/cvc4 | sed 's:-Wl,-rpath:-Wl,-rpath -Wl,\\\\$$thelibdir -Wl,-rpath:'`; \
  34                 eval "(cd $(CURRENT_BUILD)/src/main && $$relink_command)"
  35         test -e lib || ln -sfv ".$(libdir)" lib
  36         test -e bin || ln -sfv ".$(bindir)" bin
  37
  38 %:
  39         (cd $(CURRENT_BUILD) && $(MAKE) $@)