Skip to content

Commit ec9388d

Browse files
fblanquifblanqui
committed
wip
1 parent f714039 commit ec9388d

23 files changed

Lines changed: 136 additions & 329 deletions

‎.gitignore‎

Lines changed: 1 addition & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -1,34 +1,2 @@
1-
*.vok
2-
*.vos
3-
*.cm[iox]
4-
*.o
5-
*.annot
6-
*.vo
7-
*.glob
8-
.config_var
9-
.depend
10-
*.dko
11-
*.bin
12-
*.byt
13-
zenon_modulo
14-
*.output
15-
parsecoq.ml
16-
parsecoq.mli
17-
parsetptp.ml
18-
parsetptp.mli
19-
parsetstp.ml
20-
parsetstp.mli
21-
parsezen.ml
22-
parsezen.mli
23-
parsedk.ml
24-
parsedk.mli
25-
lexcoq.ml
26-
lextptp.ml
27-
lextstp.ml
28-
lexsmtlib.ml
29-
lexzen.ml
30-
lexdk.ml
31-
checksum.ml
32-
.zenon*.aux
331
*~
34-
_build/
2+
_build

‎Makefile‎

Lines changed: 0 additions & 223 deletions
This file was deleted.

‎dk/.gitignore‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
dko.mk
2+
*.dko

‎dk/Makefile‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
.PREFIX:
2+
3+
.PHONY: default
4+
default: dko
5+
6+
DKSRC := cc.dk dk_bool.dk dk_logic.dk dk_tuple.dk basics_minimal.dk zen.dk zenon_focal.dk zenon.dk
7+
8+
DKOBJ := $(DKSRC:%.dk=%.dko)
9+
10+
.PHONY: dko
11+
dko: $(DKOBJ)
12+
13+
%.dko: %.dk
14+
dk check -e $*.dk
15+
16+
include dko.mk
17+
18+
dko.mk:
19+
dk dep $(DKSRC) > $@
20+
21+
.PHONY: clean-dko
22+
clean-dko:
23+
-rm -f $(DKOBJ)
24+
25+
.PHONY: clean
26+
clean: clean-dko
27+
-rm -f dko.mk

basics_minimal.dk renamed to dk/basics_minimal.dk

File renamed without changes.

cc.dk renamed to dk/cc.dk

File renamed without changes.

dk_bool.dk renamed to dk/dk_bool.dk

File renamed without changes.

dk_logic.dk renamed to dk/dk_logic.dk

File renamed without changes.

dk_tuple.dk renamed to dk/dk_tuple.dk

File renamed without changes.

zen.dk renamed to dk/zen.dk

File renamed without changes.

0 commit comments

Comments
 (0)