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 BUILDING_STATIC = @BUILDING_STATIC@
  15 BUILDING_SHARED = @BUILDING_SHARED@
  16
  17 .PHONY: _default_build_ all
  18 _default_build_: all
  19 all:
  20         (cd $(CURRENT_BUILD) && $(MAKE) $@)
  21         $(mkinstalldirs) "$(CURRENT_BUILD)$(bindir)" "$(CURRENT_BUILD)$(libdir)"
  22         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/libcvc4.la "$(abs_builddir)$(libdir)"
  23         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/parser/libcvc4parser.la "$(abs_builddir)$(libdir)"
  24 ifeq ($(BUILDING_SHARED),1)
  25         thelibdir="$(abs_builddir)$(libdir)"; progdir="$(abs_builddir)$(bindir)"; file=cvc4; \
  26                 eval `grep '^relink_command=' $(CURRENT_BUILD)/src/main/cvc4 | sed 's:-Wl,-rpath:-Wl,-rpath -Wl,\\\\$$thelibdir -Wl,-rpath:'`; \
  27                 eval "(cd $(CURRENT_BUILD)/src/main && $$relink_command)"
  28 endif
  29 ifeq ($(BUILDING_STATIC),1)
  30         install -v $(CURRENT_BUILD)/src/main/cvc4 "$(abs_builddir)$(bindir)"
  31 endif
  32         test -e $(CURRENT_BUILD)/lib || ln -sfv "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib
  33         test -e $(CURRENT_BUILD)/bin || ln -sfv "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin
  34         mkdir -pv ".$(bindir)" ".$(libdir)"
  35         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/libcvc4.la "`pwd`$(libdir)"
  36         $(CURRENT_BUILD)/libtool --mode=install install -v $(CURRENT_BUILD)/src/parser/libcvc4parser.la "`pwd`$(libdir)"
  37 ifeq ($(BUILDING_SHARED),1)
  38         thelibdir="`pwd`$(libdir)"; progdir="`pwd`$(bindir)"; file=cvc4; \
  39                 eval `grep '^relink_command=' $(CURRENT_BUILD)/src/main/cvc4 | sed 's:-Wl,-rpath:-Wl,-rpath -Wl,\\\\$$thelibdir -Wl,-rpath:'`; \
  40                 eval "(cd $(CURRENT_BUILD)/src/main && $$relink_command)"
  41 endif
  42 ifeq ($(BUILDING_STATIC),1)
  43         install -v $(CURRENT_BUILD)/src/main/cvc4 "`pwd`$(bindir)"
  44 endif
  45         test -e lib || ln -sfv ".$(libdir)" lib
  46         test -e bin || ln -sfv ".$(bindir)" bin
  47
  48 %:
  49         (cd $(CURRENT_BUILD) && $(MAKE) $@)