diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-05-17 16:37:35 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-17 16:37:35 +0100 |
commit | 6f322ea44c68783a733acbc70ff34f1d7654243e (patch) | |
tree | 695a6a639962635440c48d68b66ec740b63f882b | |
parent | 80288462f41babf77b3303c9ed758827695c3ada (diff) | |
download | cohpred-6f322ea44c68783a733acbc70ff34f1d7654243e.tar.gz cohpred-6f322ea44c68783a733acbc70ff34f1d7654243e.zip |
Add a simple makefile
-rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e01e71e --- /dev/null +++ b/Makefile @@ -0,0 +1,7 @@ +VS := $(wildcard src/*.v) + +all: Makefile.coq + make -f Makefile.coq src/Predicate.vo + +Makefile.coq: + coq_makefile -R src TVSMT $(VS) -o Makefile.coq |