From b06de08733bb01efcbb8b902fe3157b7045c8bb3 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Sun, 22 Apr 2018 15:27:22 +0200
Subject: Infrastructure for ocamldebug on the checker

---
 Makefile.checker | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'Makefile.checker')

diff --git a/Makefile.checker b/Makefile.checker
index dd1f6d514..0ec565d61 100644
--- a/Makefile.checker
+++ b/Makefile.checker
@@ -73,9 +73,12 @@ checker/check.cmxa: checker/check.mllib | md5chk
 
 CHECKGENFILES:=$(addprefix checker/, names.mli names.ml esubst.mli esubst.ml)
 
+CHECKMLFILES:=$(filter checker/%, $(MLFILES) $(MLIFILES)) $(CHECKGENFILES) \
+  $(filter dev/checker_%, $(MLFILES) $(MLIFILES))
+
 $(CHECKMLDFILE).d: $(filter checker/%, $(MLFILES) $(MLIFILES) $(CHECKGENFILES))
 	$(SHOW)'OCAMLDEP  checker/MLFILES checker/MLIFILES'
-	$(HIDE)$(OCAMLFIND) ocamldep -slash $(CHKLIBS) $(filter checker/%, $(MLFILES) $(MLIFILES) $(CHECKGENFILES)) $(TOTARGET)
+	$(HIDE)$(OCAMLFIND) ocamldep -slash $(CHKLIBS) $(CHECKMLFILES) $(TOTARGET)
 
 $(CHECKMLLIBFILE).d: $(filter checker/%, $(MLLIBFILES) $(MLPACKFILES) $(CHECKGENFILES)) | $(OCAMLLIBDEP)
 	$(SHOW)'OCAMLLIBDEP  checker/MLLIBFILES checker/MLPACKFILES'
@@ -93,6 +96,14 @@ checker/%.cmx: checker/%.ml
 	$(SHOW)'OCAMLOPT  $<'
 	$(HIDE)$(OCAMLOPT) $(CHKLIBS) $(OPTFLAGS) -c $<
 
+dev/checker_%.cmo: dev/checker_%.ml
+	$(SHOW)'OCAMLC    $<'
+	$(HIDE)$(OCAMLC) $(CHKLIBS) $(BYTEFLAGS) -I dev/ -c $<
+
+dev/checker_%.cmi: dev/checker_%.mli
+	$(SHOW)'OCAMLC    $<'
+	$(HIDE)$(OCAMLC) $(CHKLIBS) $(BYTEFLAGS) -I dev/ -c $<
+
 md5chk:
 	$(SHOW)'MD5SUM cic.mli'
 	$(HIDE)if grep -q "^MD5 $$($(OCAML) tools/md5sum.ml checker/cic.mli)$$" checker/values.ml; \
-- 
cgit v1.2.3