From 6a14070e4666cc8c0457b03c81ea99a9a6c4b833 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 24 Mar 2009 18:21:07 +0000
Subject: 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
---
 build | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 build

(limited to 'build')

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
-- 
cgit v1.2.3