From 6c4062ca13e6fb9e7d2dc93c70b545ccb22575de Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 18 Jun 2018 16:53:54 +0000
Subject: Archive the `gallina` tool

---
 Makefile.build | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index b85418243..49afa50b2 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -493,14 +493,6 @@ $(COQDEPBYTE): $(COQDEPCMO)
 	$(SHOW)'OCAMLC -o $@'
 	$(HIDE)$(call ocamlbyte, $(SYSMOD))
 
-$(GALLINA): $(call bestobj, tools/gallina_lexer.cmo tools/gallina.cmo)
-	$(SHOW)'OCAMLBEST -o $@'
-	$(HIDE)$(call bestocaml,)
-
-$(GALLINABYTE): tools/gallina_lexer.cmo tools/gallina.cmo
-	$(SHOW)'OCAMLC -o $@'
-	$(HIDE)$(call ocamlbyte,)
-
 COQMAKEFILECMO:=clib/clib.cma lib/lib.cma tools/coq_makefile.cmo
 
 $(COQMAKEFILE): $(call bestobj,$(COQMAKEFILECMO))
-- 
cgit v1.2.3