From c046b33aa98537a157becad80dafd1ebf4e01534 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
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/pluginsvo.itarget | 2 --
 1 file changed, 2 deletions(-)

(limited to 'plugins/pluginsvo.itarget')

diff --git a/plugins/pluginsvo.itarget b/plugins/pluginsvo.itarget
index af4d23310..14c288005 100644
--- a/plugins/pluginsvo.itarget
+++ b/plugins/pluginsvo.itarget
@@ -8,8 +8,6 @@ fourier/Fourier.vo
 funind/Recdef.vo
 groebner/GroebnerR.vo
 groebner/GroebnerZ.vo
-interface/CoqInterface.vo
-#interface/CoqParser.vo  (should not be compiled)
 micromega/CheckerMaker.vo
 micromega/EnvRing.vo
 micromega/Env.vo
-- 
cgit v1.2.3