aboutsummaryrefslogtreecommitdiffstats
path: root/src/Makefile.local
diff options
context:
space:
mode:
Diffstat (limited to 'src/Makefile.local')
-rw-r--r--src/Makefile.local40
1 files changed, 40 insertions, 0 deletions
diff --git a/src/Makefile.local b/src/Makefile.local
new file mode 100644
index 0000000..913f948
--- /dev/null
+++ b/src/Makefile.local
@@ -0,0 +1,40 @@
+########################################################################
+## This file is intended to developers: please do not use it ##
+## directly, rather use the "configure.sh" script. ##
+########################################################################
+
+
+test :
+ cd ../unit-tests; make cleanvo; make
+
+ztest :
+ cd ../unit-tests; make cleanvo; make zchaff
+
+vtest :
+ cd ../unit-tests; make cleanvo; make verit
+
+lfsctest :
+ cd ../unit-tests; make cleanvo; make lfsc
+
+paralleltest :
+ cd ../unit-tests; make parallel
+
+clean::
+ cd ../unit-tests; make clean
+
+cleanall::
+ rm -f ../3rdparty/alt-ergo/smtlib2_lex.ml ../3rdparty/alt-ergo/smtlib2_parse.ml ../3rdparty/alt-ergo/smtlib2_parse.mli .lia.cache Makefile.conf lfsc/lfscLexer.ml lfsc/lfscParser.ml lfsc/lfscParser.mli smtlib2/sExprLexer.ml smtlib2/sExprParser.ml smtlib2/sExprParser.mli verit/veritLexer.ml verit/veritParser.ml verit/veritParser.mli
+
+
+
+CAMLLEX = $(CAMLBIN)ocamllex
+CAMLYACC = $(CAMLBIN)ocamlyacc
+
+%.ml : %.mll
+ $(CAMLLEX) $<
+
+%.ml %.mli : %.mly
+ $(CAMLYACC) $<
+
+.PHONY: smtcoq_plugin.mlpack.d
+smtcoq_plugin.mlpack.d : verit/veritParser.ml verit/veritLexer.ml ../3rdparty/alt-ergo/smtlib2_parse.ml ../3rdparty/alt-ergo/smtlib2_lex.ml smtlib2/sExprParser.ml smtlib2/sExprLexer.ml lfsc/lfscParser.ml lfsc/lfscLexer.ml