blob: 79d5d20ba956bf9291933b6e2c12640dca3284d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#!/bin/sh
#########################################################################
# #
# OCaml #
# #
# Nicolas Pouillard, projet Gallium, INRIA Rocquencourt #
# #
# Copyright 2007 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. #
# #
#########################################################################
# $Id$
cd `dirname $0`/..
set -ex
TAG_LINE='true: -use_stdlib'
./boot/ocamlrun boot/myocamlbuild.boot \
-tag-line "$TAG_LINE" \
boot/stdlib.cma boot/std_exit.cmo
boot/ocamlrun boot/myocamlbuild.boot \
-tag-line "$TAG_LINE" -log _boot_log1 \
ocamlbuild/ocamlbuildlightlib.cma ocamlbuild/ocamlbuildlight.byte
rm -f _build/myocamlbuild
boot/ocamlrun boot/myocamlbuild.boot \
-just-plugin -install-lib-dir _build/ocamlbuild -byte-plugin
cp _build/myocamlbuild boot/myocamlbuild
./boot/ocamlrun boot/myocamlbuild \
-tag-line "$TAG_LINE" \
$@ -log _boot_log2 boot/camlheader ocamlc
|
