From c046b33aa98537a157becad80dafd1ebf4e01534 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 8 Dec 2009 15:01:19 +0000
Subject: Fix the build of coq via ocamlbuild  - no more plugins/interface  - a
 few missing files in theories.itarget  - a few things required Unix now

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

(limited to 'plugins/pluginsopt.itarget')

diff --git a/plugins/pluginsopt.itarget b/plugins/pluginsopt.itarget
index e8e7868b76..5206271157 100644
--- a/plugins/pluginsopt.itarget
+++ b/plugins/pluginsopt.itarget
@@ -3,8 +3,6 @@ setoid_ring/newring_plugin.cmxa
 extraction/extraction_plugin.cmxa
 firstorder/ground_plugin.cmxa
 rtauto/rtauto_plugin.cmxa
-interface/coqinterface_plugin.cmxa
-interface/coqparser_plugin.cmxa
 fourier/fourier_plugin.cmxa
 romega/romega_plugin.cmxa
 omega/omega_plugin.cmxa
-- 
cgit v1.2.3