From f77f93ecef9362548dae8886affe7a4bdcc150f6 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 3 Jun 2010 17:13:49 +0000
Subject: Ocamlbuild: try to speed-up error detection in *.ml*, by
 byte-compiling first

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

(limited to 'coq.itarget')

diff --git a/coq.itarget b/coq.itarget
index 7488f421ed..dd8b25905c 100644
--- a/coq.itarget
+++ b/coq.itarget
@@ -1,3 +1,8 @@
-binaries
-plugins/plugins.otarget
+# NB: for the moment we start with bytecode compilation
+# for early error detection in .ml
+binariesbyte
+plugins/pluginsbyte.otarget
+binariesopt
+plugins/pluginsopt.otarget
 theories/theories.otarget
+plugins/pluginsvo.otarget
-- 
cgit v1.2.3