Skip to content

Commit

Permalink
Port to Coq 8.5.
Browse files Browse the repository at this point in the history
  • Loading branch information
@QinxiangCao
QinxiangCao committed Nov 17, 2016
1 parent b5cff2f commit 76fd94f
Show file tree
Hide file tree
Showing 7 changed files with 1,051 additions and 1,027 deletions.
2 changes: 2 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
*.vo
*.glob
*.v.d
*.aux
.depend
CONFIGURE
14 changes: 9 additions & 5 deletions Makefile
View file
Original file line number Diff line number Diff line change
@@ -1,11 +1,15 @@
CURRENT_DIR=./
COQC=coqc
COQDEP=coqdep -slash
COQBIN=

-include CONFIGURE

COQC=$(COQBIN)coqc
COQDEP=$(COQBIN)coqdep

DIRS = lib MinimunLogic PropositionalLogic SeparationLogic
INCLUDE_DEMO = $(foreach d, $(DIRS), -R $(CURRENT_DIR)/$(d) -as Logic.$(d))
INCLUDE_DEMO = $(foreach d, $(DIRS), -R $(CURRENT_DIR)/$(d) Logic.$(d))
COQ_FLAG = $(INCLUDE_DEMO)
DEP_DEMO = -R $(CURRENT_DIR) -as Logic
DEP_DEMO = -R $(CURRENT_DIR) Logic
DEP_FLAG = $(DEP_DEMO)

lib_FILES = \
Expand Down Expand Up @@ -50,7 +54,7 @@ depend:
@$(COQDEP) $(DEP_FLAG) $(FILES) > .depend

clean:
@rm *.vo */*.vo *.glob */*.glob
@rm */*.vo */*.glob

.DEFAULT_GOAL := all

Expand Down
Loading

0 comments on commit 76fd94f

Please sign in to comment.