Commit 14408b78 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Add confluence checking to all safe Dedukti calls

parent 3daedc38
...@@ -67,13 +67,13 @@ all: $(DKOS) sigmaid ...@@ -67,13 +67,13 @@ all: $(DKOS) sigmaid
$(DKCHECK) -e $(DKCHECKOPTIONS) $< $(DKCHECK) -e $(DKCHECKOPTIONS) $<
builtins.dko: builtins.dk builtins.dko: builtins.dk
$(DKCHECK) -e $< $(DKCHECK) -e $(DKCHECKOPTIONS) $<
dk_type.dko: dk_type.sk builtins.dko dk_type.dko: dk_type.sk builtins.dko
$(SKCHECK) -e $< $(SKCHECK) -e $(DKCHECKOPTIONS) $<
dk_obj.dko: dk_obj.sk dk_type.dko builtins.dko dk_obj.dko: dk_obj.sk dk_type.dko builtins.dko
$(SKCHECK) -e $< $(SKCHECK) -e $(DKCHECKOPTIONS) $<
unsafe/dk_obj_dec.dko: unsafe/dk_obj_dec.sk builtins.dko dk_type.dko dk_obj.dko unsafe/dk_obj_dec.dko: unsafe/dk_obj_dec.sk builtins.dko dk_type.dko dk_obj.dko
cd unsafe && $(SKCHECK) -I .. -e -nl ../$< cd unsafe && $(SKCHECK) -I .. -e -nl ../$<
......
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