From a931f2340192b62de9cae3f5850bfc33bde9b88f Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 18 Oct 2007 21:45:40 +0000
Subject: Intallation des .cma/.cmxa

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10241 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 3cff1c762..004cef640 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -270,6 +270,7 @@ CMXA:=$(CMA:.cma=.cmxa)
 # Beware that highparsing.cma should appear before hightactics.cma
 # respecting this order is useful for developers that want to load or link
 # the libraries directly
+
 LINKCMO:=$(CONFIG) lib/lib.cma kernel/kernel.cma library/library.cma \
         pretyping/pretyping.cma interp/interp.cma proofs/proofs.cma \
         parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \
@@ -382,6 +383,8 @@ GRAMMARSCMO:=\
 
 GRAMMARCMO:=$(GRAMMARNEEDEDCMO) $(CAMLP4EXTENSIONSCMO) $(GRAMMARSCMO)
 
+GRAMMARCMA:=parsing/grammar.cma
+
 GRAMMARML4:=lib/compat.ml4 lib/pp.ml4 parsing/q_util.ml4 parsing/pcoq.ml4 \
   parsing/argextend.ml4 parsing/tacextend.ml4 parsing/vernacextend.ml4 \
   parsing/g_prim.ml4 parsing/g_tactic.ml4 \
-- 
cgit v1.2.3