diff options
Diffstat (limited to 'build/boot.sh')
| -rwxr-xr-x | build/boot.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/build/boot.sh b/build/boot.sh index 79d5d20ba9..c0d49a2847 100755 --- a/build/boot.sh +++ b/build/boot.sh @@ -12,11 +12,14 @@ # # ######################################################################### -# $Id$ cd `dirname $0`/.. set -ex TAG_LINE='true: -use_stdlib' -./boot/ocamlrun boot/myocamlbuild.boot \ + +# If you modify this list, modify it also in camlp4-native-only.sh +STDLIB_MODULES='Pervasives,Arg,Array,Buffer,Char,Digest,Filename,Format,Hashtbl,Lazy,Lexing,List,Map,Printexc,Printf,Scanf,Set,String,Sys,Parsing,Int32,Int64,Nativeint,Obj,Queue,Sort,Stream,Stack' + +./boot/ocamlrun boot/myocamlbuild.boot -ignore "$STDLIB_MODULES" \ -tag-line "$TAG_LINE" \ boot/stdlib.cma boot/std_exit.cmo |