Don't check for confluence files depending on dk_binary_nat

93e3fde4 · Raphaël Cauderlier · 099eea7a · 93e3fde4
Commit 93e3fde4 authored Aug 26, 2015 by Raphaël Cauderlier
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

Makefile Makefile +8 -0

No files found.
--- a/Makefile
+++ b/Makefile
@@ -25,6 +25,14 @@ dk_monads_coc.dko:
 # dk_binary_nat is too hard for the confluence checker
 dk_binary_nat.dko:
 	$(DKCHECK) -e $(DKCHECK_OPTIONS) $<
+# dk_char, dk_string, dk_builtins depend on it
+dk_char.dko:
+	$(DKCHECK) -e $(DKCHECK_OPTIONS) $<
+dk_string.dko:
+	$(DKCHECK) -e $(DKCHECK_OPTIONS) $<
+dk_builtins.dko:
+	$(DKCHECK) -e $(DKCHECK_OPTIONS) $<
+

 # so is dk_int
 dk_int.dko: