From 6af0706a64f490bea919c39e4a91e09f85c24e23 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 19 May 2010 15:29:30 +0000
Subject: static (and shared) camlp4use instead of per-file declaration

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13016 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/_tags                     | 6 +++---
 plugins/decl_mode/g_decl_mode.ml4 | 1 -
 plugins/subtac/g_subtac.ml4       | 2 --
 3 files changed, 3 insertions(+), 6 deletions(-)

(limited to 'plugins')

diff --git a/plugins/_tags b/plugins/_tags
index 8611ebc0cf..2d1d5a7606 100644
--- a/plugins/_tags
+++ b/plugins/_tags
@@ -4,9 +4,9 @@
 "setoid_ring/newring.ml4": use_grammar
 "dp/g_dp.ml4": use_grammar
 "quote/g_quote.ml4": use_grammar
-"subtac/equations.ml4": use_grammar, use_extend
+"subtac/equations.ml4": use_grammar
 "subtac/g_eterm.ml4": use_grammar
-"subtac/g_subtac.ml4": use_grammar, use_extend
+"subtac/g_subtac.ml4": use_grammar
 "rtauto/g_rtauto.ml4": use_grammar
 "xml/xmlentries.ml4": use_grammar
 "xml/dumptree.ml4": use_grammar
@@ -20,7 +20,7 @@
 "fourier/g_fourier.ml4": use_grammar
 "groebner/ideal.ml4": use_refutpat
 "groebner/groebner.ml4": use_grammar
-"decl_mode/g_decl_mode.ml4": use_grammar, use_extend, use_MLast
+"decl_mode/g_decl_mode.ml4": use_grammar
 
 "cc": include
 "extraction": include
diff --git a/plugins/decl_mode/g_decl_mode.ml4 b/plugins/decl_mode/g_decl_mode.ml4
index d87708510f..28aa939750 100644
--- a/plugins/decl_mode/g_decl_mode.ml4
+++ b/plugins/decl_mode/g_decl_mode.ml4
@@ -7,7 +7,6 @@
 (************************************************************************)
 
 (*i camlp4deps: "parsing/grammar.cma" i*)
-(*i camlp4use: "pa_extend.cmo q_MLast.cmo" i*)
 
 (* arnaud: veiller à l'aspect tutorial des commentaires *)
 
diff --git a/plugins/subtac/g_subtac.ml4 b/plugins/subtac/g_subtac.ml4
index 28ded30dac..9e415b635c 100644
--- a/plugins/subtac/g_subtac.ml4
+++ b/plugins/subtac/g_subtac.ml4
@@ -7,8 +7,6 @@
 (************************************************************************)
 
 (*i camlp4deps: "parsing/grammar.cma" i*)
-(*i camlp4use: "pa_extend.cmo" i*)
-
 
 (*
   Syntax for the subtac terms and types.
-- 
cgit v1.2.3