5f1b42f0e9c50cfa52a4e99f7f342c76d9daa500
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.
12 @if
test -d
$(builddir
); then \
13 echo cd
$(builddir
); \
19 echo
'Run configure first, or type "make" in a configured build directory.'; \
23 distclean maintainerclean
:
24 @if
test -d
$(builddir
); then \
25 echo cd
$(builddir
); \
30 test -z
"$(builddir)" ||
rm -fr
"$(builddir)"
33 # synonyms for "check"
42 (cd examples
&& $(MAKE
) $(AM_MAKEFLAGS
))
44 YEAR
:= $(shell date
+%Y
)
46 if
[ ! -e configure
]; then .
/autogen.sh
; fi
47 .
/configure competition
--disable-shared
--enable-static-binary
--with-cln
51 mkdir
-p cvc4-smtcomp-
$(YEAR
)
52 cp
-p builds
/bin
/cvc4 cvc4-smtcomp-
$(YEAR
)/cvc4
54 echo
'exec ./cvc4 -L smt2 --no-interactive' ) > cvc4-smtcomp-
$(YEAR
)/run
55 chmod
755 cvc4-smtcomp-
$(YEAR
)/run
56 tar cf cvc4-smtcomp-
$(YEAR
).
tar cvc4-smtcomp-
$(YEAR
)