From dd25b08c3608b55dd9edb24304168efb56bc64c8 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 4 Jul 2018 16:48:01 +0200
Subject: [coqpp] Move to its own directory.

Coqpp has nothing to do with `grammar`, we thus place it in its own
directory, which will prove convenient in more modular build systems.

Note that we add `coqpp` to the list of global includes, we could have
indeed added some extra rules, but IMHO not worth it as hopefully
proper containment will be soon checked by Dune.
---
 Makefile.common | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index fdaa94212..727cb1e69 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -89,6 +89,7 @@ INSTALLSH:=./install.sh
 MKDIR:=install -d
 
 CORESRCDIRS:=\
+  coqpp                                                                                 \
   config 	clib 		lib		kernel		kernel/byterun	library \
   engine 	pretyping	interp	proofs	parsing 	printing \
   tactics 	vernac		stm		toplevel
-- 
cgit v1.2.3