summaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2013-11-29 13:04:38 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2013-11-29 13:04:38 +0000
commit33f242aaea3d761fb524c61855f677560c97069a (patch)
tree8c4de14b223942cbea6c4e6a6d5ede38bb749807 /driver
parent15da6d18042500c6e8f9698bf05bebcec456e9d3 (diff)
downloadocaml-33f242aaea3d761fb524c61855f677560c97069a.tar.gz
Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits:
14278 14277 14276 14176 14175 14173 14172 14171 14169 14168 14167 These changes need to mature on their own branch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
-rw-r--r--driver/ocamlcomp.sh.in17
1 files changed, 17 insertions, 0 deletions
diff --git a/driver/ocamlcomp.sh.in b/driver/ocamlcomp.sh.in
new file mode 100644
index 0000000000..fc0a8e113f
--- /dev/null
+++ b/driver/ocamlcomp.sh.in
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+#########################################################################
+# #
+# OCaml #
+# #
+# Jacques Garrigue, Kyoto University RIMS #
+# #
+# Copyright 2002 Institut National de Recherche en Informatique et #
+# en Automatique. All rights reserved. This file is distributed #
+# under the terms of the Q Public License version 1.0. #
+# #
+#########################################################################
+
+topdir=`dirname $0`
+
+exec @compiler@ -nostdlib -I $topdir/stdlib "$@"