ocamlbuild improvements + minor makefile fix

 * a small shell script ./build to drive ocamlbuild
 * rules for all the binaries (apart from coqide and coqchk)
 * use of ocamlbuild's Echo instead of using shell + sed + awk
   for generated files
 * Makefile: remove unused STAGE1_CMO and add bin/coqdep_boot to the
   list of things to "clean"

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

1 files changed, 26 insertions, 0 deletions

diff --git a/build b/build
new file mode 100755
index 000000000..4552d5a43
--- /dev/null
+++ b/build
@@ -0,0 +1,26 @@
+#!/bin/sh
+
+FLAGS=
+OCAMLBUILD=ocamlbuild
+
+ocb()
+{
+  $OCAMLBUILD $FLAGS $*
+}
+
+rule() {
+  case $1 in
+    clean)  ocb -clean && rm -rf bin/*;;
+    all)    ocb coq.otarget;;
+    *)      ocb $1;;
+  esac;
+}
+
+if [ $# -eq 0 ]; then
+  rule all
+else
+  while [ $# -gt 0 ]; do
+    rule $1;
+    shift
+  done
+fi