diff options
Diffstat (limited to 'ocaml-binary-annot/build/mkmyocamlbuild_config.sh')
| -rwxr-xr-x | ocaml-binary-annot/build/mkmyocamlbuild_config.sh | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/ocaml-binary-annot/build/mkmyocamlbuild_config.sh b/ocaml-binary-annot/build/mkmyocamlbuild_config.sh new file mode 100755 index 0000000000..9c7eebd3c3 --- /dev/null +++ b/ocaml-binary-annot/build/mkmyocamlbuild_config.sh @@ -0,0 +1,41 @@ +#!/bin/sh + +######################################################################### +# # +# Objective Caml # +# # +# 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`/.. + +sed \ + -e 's/^.*FLEXDIR.*$//g' \ + -e 's/^#ml \(.*\)/\1/' \ + -e 's/^\([^"][^"]*\("[^"]*"[^"]*\)*\)#.*$/\1/' \ + -e 's/^\(#.*\)$/(* \1 *)/' \ + -e 's/^\(.*\$([0-9]).*\)$/(* \1 *)/' \ + -e 's/^\([^(=]*\)=\([^"]*\)$/let <:lower<\1>> = "\2";;/' \ + -e 's/\$(AS)/as/g' \ + -e 's/\$(\([^)]*\))/"\^<:lower<\1>>\^"/g' \ + -e 's/""\^//g' \ + -e 's/\^""//g' \ + -e 's/^let <:lower<MAKE.*$//g' \ + -e 's/^let <:lower<DO.*$//g' \ + -e 's/"true"/true/g' \ + -e 's/"false"/false/g' \ + config/Makefile \ + | sed -f build/tolower.sed \ + | sed -f build/tolower.sed \ + | sed -f build/tolower.sed \ + | sed -f build/tolower.sed \ + | sed -f build/tolower.sed \ + | sed -f build/tolower.sed \ + > myocamlbuild_config.ml |