From e11388aac1f4f635e3c32d9b3200de16d779c630 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 18 Dec 2014 14:20:28 +0100
Subject: No longer include a pre-generated Parser.v in the distribution.
 Assorted updates to configure and Makefile.

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a515946d..6ed50ce2 100644
--- a/Makefile
+++ b/Makefile
@@ -28,6 +28,7 @@ COQDEP="$(COQBIN)coqdep" $(COQINCLUDES)
 COQDOC="$(COQBIN)coqdoc"
 COQEXEC="$(COQBIN)coqtop" $(COQINCLUDES) -batch -load-vernac-source
 COQCHK="$(COQBIN)coqchk" $(COQINCLUDES)
+MENHIR=menhir
 CP=cp
 
 VPATH=$(DIRS)
-- 
cgit