From 002a974b66bc5b8524c8c045d6b9ec4f57aa7734 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 8 Nov 2018 13:17:14 +0100
Subject: [gramlib] [build] Switch make-based system to packed gramlib

This makes the make-based build system stop linking to Camlp5's
gramlib and instead links to our own gramlib.

We use the style done in the packing of `Stdlib` in OCaml 4.07.

As to introduce a minimal amount of noise in history we use an
autogenerated `gramlib__pack` directory.

Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index 92cc820483..0d1629c3d5 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -99,7 +99,7 @@ BEFORE ?=
 AFTER ?=
 
 # FIXME this should be generated by Coq (modules already linked by Coq)
-CAMLDONTLINK=camlp5.gramlib,unix,str
+CAMLDONTLINK=unix,str
 
 # OCaml binaries
 CAMLC       ?= "$(OCAMLFIND)" ocamlc   -c
-- 
cgit v1.2.3