diff options
| author | Matej Košík | 2018-05-07 10:38:24 +0200 |
|---|---|---|
| committer | Matej Košík | 2018-05-07 10:38:24 +0200 |
| commit | d663a1b5c2bc10fa125ae485ce53d2ec5bc691a6 (patch) | |
| tree | 88587d34337281f5782322833c010bedb5f73cd8 /tuto2/Makefile | |
| parent | ccd7aa81d1898431dc9c5889e4370a57759664be (diff) | |
add some more material (preliminary provided in "tuto2" directory)
As it is, it probably need to be edited:
(it may be a good idea to drop redundant part;
it may be a good idea to make the style of the new information
consistent with the already existing material;
...)
Diffstat (limited to 'tuto2/Makefile')
| -rw-r--r-- | tuto2/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tuto2/Makefile b/tuto2/Makefile new file mode 100644 index 0000000000..e0e197650d --- /dev/null +++ b/tuto2/Makefile @@ -0,0 +1,14 @@ +ifeq "$(COQBIN)" "" + COQBIN=$(dir $(shell which coqtop))/ +endif + +%: Makefile.coq + +Makefile.coq: _CoqProject + $(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq + +tests: all + @$(MAKE) -C tests -s clean + @$(MAKE) -C tests -s all + +-include Makefile.coq |