Commit 5469e371 authored by Raphael Cauderlier's avatar Raphael Cauderlier
Browse files

Fix Makefiles after directories renaming

parent 6ea52d66
......@@ -10,8 +10,8 @@
.config_vars: configure
./configure
SUBDIRS = core interop
TARGETS=all clean install uninstall
SUBDIRS = lib example
TARGETS = all clean install uninstall
$(TARGETS):
for d in $(SUBDIRS); do \
......
......@@ -11,7 +11,7 @@ HolNaturals.art: $(ART_FILES)
cat $^ > $@
HolNaturals.dk: HolNaturals.art
INCLUDE_DIRS= -I ../../core/logic -I ../../core/arith/definitions -I ../../core/arith/morphisms -I ../../core/arith/theorems -I ../logic
INCLUDE_DIRS= -I ../../lib/logic -I ../../lib/arith/definitions -I ../../lib/arith/morphisms -I ../../lib/arith/theorems -I ../logic
FOCALIZEC_OPT += -no-coq-code
......
......@@ -6,7 +6,7 @@ V_FILES=$(wildcard *.v)
DK_FILES=$(wildcard *.dk)
all: $(FCL_FILES:.fcl=.dko) $(V_FILES:.v=.dko) $(DK_FILES:.dk=.dko) Coq__Init__Datatypes.dko Coq__Init__Peano.dko
INCLUDE_DIRS= -I ../../core/logic
INCLUDE_DIRS= -I ../../lib/logic
# We have to generate all dks coming from coq at the same time
# so that universe consistency can be checked globally
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment