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/pluginsbyte.itarget | 2 --
 1 file changed, 2 deletions(-)

(limited to 'plugins/pluginsbyte.itarget')

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