Makefile

   1 # -*-makefile-*-
   2 #
   3 # This makefile is the _source_ directory's makefile, and is static,
   4 # not generated.  Makefile.am is the automake makefile for the build
   5 # top-level (its corresponding Makefile.in is here, too, but the
   6 # corresponding Makefile is under builds/$arch/$buildid.
   7 #
   8 builddir = builds
   9
  10 .PHONY: all
  11 all .DEFAULT:
  12         @if test -d $(builddir); then \
  13                 echo cd $(builddir); \
  14                 cd $(builddir); \
  15                 echo $(MAKE) $@; \
  16                 $(MAKE) $@; \
  17         else \
  18                 echo; \
  19                 echo 'Run configure first, or type "make" in a configured build directory.'; \
  20                 echo; \
  21         fi
  22
  23 # synonyms for "check"
  24 .PHONY: test
  25 test: check
  26
  27 .PHONY: doc
  28 doc: doc-builds
  29
  30 .PHONY: examples
  31 examples: all
  32         (cd examples && $(MAKE) $(AM_MAKEFLAGS))
  33
  34 YEAR := $(shell date +%Y)
  35 submission:
  36         if [ ! -e configure ]; then ./autogen.sh; fi
  37         ./configure competition --disable-shared --enable-static-binary --with-cln
  38         $(MAKE)
  39         strip builds/bin/cvc4
  40         $(MAKE) regress1
  41         mkdir -p cvc4-smtcomp-$(YEAR)
  42         cp -p builds/bin/cvc4 cvc4-smtcomp-$(YEAR)/cvc4
  43         ( echo '#!/bin/sh'; \
  44           echo 'exec ./cvc4 -L smt2 --no-interactive' ) > cvc4-smtcomp-$(YEAR)/run
  45         chmod 755 cvc4-smtcomp-$(YEAR)/run
  46         tar cf cvc4-smtcomp-$(YEAR).tar cvc4-smtcomp-$(YEAR)