diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-04-30 16:00:16 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-04-30 16:00:16 +0200 |
commit | 9383fc9958b966465491c4e90afd8452704c6392 (patch) | |
tree | d55170feef8e457179634752122cd3af5f497b4b /src/extraction/Makefile | |
parent | 80d134cf41564b05a02ebd23ef495fbd82db292d (diff) | |
download | smtcoq-9383fc9958b966465491c4e90afd8452704c6392.tar.gz smtcoq-9383fc9958b966465491c4e90afd8452704c6392.zip |
Generic program to run the extracted checkers
Diffstat (limited to 'src/extraction/Makefile')
-rw-r--r-- | src/extraction/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/extraction/Makefile b/src/extraction/Makefile index 07a30dd..8919438 100644 --- a/src/extraction/Makefile +++ b/src/extraction/Makefile @@ -1,7 +1,9 @@ # List of user's files and name of the final program (edit this part) -USERFILES=test.ml -PROGRAM=test +USERFILES=smtcoq.ml +PROGRAM=smtcoq +# USERFILES=test.ml +# PROGRAM=test # USERFILES=../../../../examples/example.ml # PROGRAM=../../../../examples/example |