lib directory is cut in 2 cma.

 - Clib that does not depend on camlpX and is made to be shared by all coq
   tools/scripts/...
 - Lib that is Coqtop specific

As a side effect for the build system :
 - Coq_config is in Clib and does not appears in makefiles
 - only the BEST version of coqc and coqmktop is made
 - ocamlbuild build system fails latter but is still broken

(ocamldebug finds automatically Unix but not Str. I've probably done something wrong here.)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15144 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 5 deletions

diff --git a/build b/build
index c4b90d86c4..da3efdca3c 100755
--- a/build
+++ b/build
@@ -1,15 +1,13 @@
 #!/bin/sh
 
-FLAGS=
+FLAGS="-j 2"
 OCAMLBUILD=ocamlbuild
-CFG=config/coq_config.ml
 MYCFG=myocamlbuild_config.ml
 
 export CAML_LD_LIBRARY_PATH=`pwd`/_build/kernel/byterun
 
 check_config() {
- [ -f $CFG ] || (echo "please run ./configure first"; exit 1)
- [ -L $MYCFG ] || ln -sf $CFG $MYCFG
+ [ -f $MYCFG ] || (echo "please run ./configure first"; exit 1)
 }
 
 ocb() { $OCAMLBUILD $FLAGS $*; }
@@ -17,7 +15,7 @@ ocb() { $OCAMLBUILD $FLAGS $*; }
 rule() {
   check_config
   case $1 in
-    clean)  ocb -clean && rm -rf bin/* && rm -f $MYCFG;;
+    clean)  ocb -clean && rm -rf bin/*;;
     all)    ocb coq.otarget;;
     win32)  ocb coq-win32.otarget;;
     *)      ocb $1;;