From e3567014035a55cfde44099ce59d142d084faac5 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 23 Apr 2012 16:42:12 +0000
Subject: Fix ocamlbuild compilation: remove subtac from *.itarget

 With this subtac forgotten target, the coqdepdeps rule was unsatisfiable,
 blocking the ocamlbuild compilation on a nasty circular dependency error
 on initial.coq (sic).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15240 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/pluginsbyte.itarget | 1 -
 plugins/pluginsopt.itarget  | 1 -
 2 files changed, 2 deletions(-)

(limited to 'plugins')

diff --git a/plugins/pluginsbyte.itarget b/plugins/pluginsbyte.itarget
index cc119eab2d..af8412cc78 100644
--- a/plugins/pluginsbyte.itarget
+++ b/plugins/pluginsbyte.itarget
@@ -10,7 +10,6 @@ romega/romega_plugin.cma
 omega/omega_plugin.cma
 micromega/micromega_plugin.cma
 xml/xml_plugin.cma
-subtac/subtac_plugin.cma
 ring/ring_plugin.cma
 cc/cc_plugin.cma
 nsatz/nsatz_plugin.cma
diff --git a/plugins/pluginsopt.itarget b/plugins/pluginsopt.itarget
index 5359f5843b..29737b9ceb 100644
--- a/plugins/pluginsopt.itarget
+++ b/plugins/pluginsopt.itarget
@@ -10,7 +10,6 @@ romega/romega_plugin.cmxa
 omega/omega_plugin.cmxa
 micromega/micromega_plugin.cmxa
 xml/xml_plugin.cmxa
-subtac/subtac_plugin.cmxa
 ring/ring_plugin.cmxa
 cc/cc_plugin.cmxa
 nsatz/nsatz_plugin.cmxa
-- 
cgit v1.2.3