From a7522a0ea76a6efaed9342d08a95363b56d88d32 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 8 Nov 2018 15:01:24 +0100
Subject: Remove checker printers

Now that the checker is using the regular kernel files it can also use
the normal printers.
---
 Makefile.checker | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

(limited to 'Makefile.checker')

diff --git a/Makefile.checker b/Makefile.checker
index a0f0778d49..7440c767e6 100644
--- a/Makefile.checker
+++ b/Makefile.checker
@@ -59,8 +59,7 @@ checker/check.cmxa: checker/check.mllib
 	$(SHOW)'OCAMLOPT -a -o $@'
 	$(HIDE)$(OCAMLOPT) $(CHKLIBS) $(OPTFLAGS) -a -o $@ $(filter-out %.mllib, $^)
 
-CHECKMLFILES:=$(filter checker/%, $(MLFILES) $(MLIFILES)) \
-  $(filter dev/checker_%, $(MLFILES) $(MLIFILES))
+CHECKMLFILES:=$(filter checker/%, $(MLFILES) $(MLIFILES))
 
 $(CHECKMLDFILE).d: $(filter checker/%, $(MLFILES) $(MLIFILES))
 	$(SHOW)'OCAMLDEP  checker/MLFILES checker/MLIFILES'
@@ -82,14 +81,6 @@ 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 $<
-
 # For emacs:
 # Local Variables:
 # mode: makefile
-- 
cgit v1.2.3