Makefile

   1 builddir = builds
   2
   3 .PHONY: _default_build_ all
   4 _default_build_: all
   5 all %:
   6         @if test -e $(builddir); then \
   7                 echo cd $(builddir); \
   8                 cd $(builddir); \
   9                 echo $(MAKE) $@; \
  10                 $(MAKE) $@; \
  11         else \
  12                 echo; \
  13                 echo 'Run configure first, or type "make" in a configured build directory.'; \
  14                 echo; \
  15         fi
  16
  17 # synonyms for "check"
  18 .PHONY: regress test
  19 regress test: check
  20
  21 submission:
  22         if [ ! -e configure ]; then ./autogen.sh; fi
  23         ./configure competition
  24         $(MAKE)
  25         mkdir -p cvc4-smtcomp-2010
  26         cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2010/cvc4
  27         cp -p contrib/run-smtcomp cvc4-smtcomp-2010/run
  28         tar cfz cvc4-smtcomp-2010.tgz cvc4-smtcomp-2010