From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 21 Jul 2010 09:46:51 +0200
Subject: Imported Upstream snapshot 8.3~beta0+13298

---
 build | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100755 build

(limited to 'build')

diff --git a/build b/build
new file mode 100755
index 00000000..69b47239
--- /dev/null
+++ b/build
@@ -0,0 +1,32 @@
+#!/bin/sh
+
+FLAGS=
+OCAMLBUILD=ocamlbuild
+CFG=config/coq_config.ml
+MYCFG=myocamlbuild_config.ml
+
+check_config() {
+ [ -f $CFG ] || (echo "please run ./configure first"; exit 1)
+ [ -L $MYCFG ] || ln -sf $CFG $MYCFG
+}
+
+ocb() { $OCAMLBUILD $FLAGS $*; }
+
+rule() {
+  check_config
+  case $1 in
+    clean)  ocb -clean && rm -rf bin/* && rm -f $MYCFG;;
+    all)    ocb coq.otarget;;
+    win32)  ocb coq-win32.otarget;;
+    *)      ocb $1;;
+  esac;
+}
+
+if [ $# -eq 0 ]; then
+  rule all
+else
+  while [ $# -gt 0 ]; do
+    rule $1;
+    shift
+  done
+fi
-- 
cgit v1.2.3