diff options
Diffstat (limited to 'build/camlp4-native-only.sh')
| -rwxr-xr-x | build/camlp4-native-only.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/build/camlp4-native-only.sh b/build/camlp4-native-only.sh index d05932e2a6..e6c4674066 100755 --- a/build/camlp4-native-only.sh +++ b/build/camlp4-native-only.sh @@ -12,10 +12,13 @@ # # ######################################################################### -# $Id$ - +# $Id: camlp4-native-only.sh 12858 2012-08-10 14:45:51Z maranget $ set -e cd `dirname $0`/.. . build/targets.sh set -x -$OCAMLBUILD $@ native_stdlib_mixed_mode $OCAMLOPT_BYTE $OCAMLLEX_BYTE $CAMLP4_NATIVE + +# If you modify this list, modify it also in boot.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' + +$OCAMLBUILD -ignore "$STDLIB_MODULES" $@ native_stdlib_mixed_mode $OCAMLOPT_BYTE $OCAMLLEX_BYTE $CAMLP4_NATIVE |