#!/bin/sh #************************************************************************** #* * #* OCaml * #* * #* Xavier Leroy, projet Cristal, INRIA Rocquencourt * #* * #* Copyright 2004 Institut National de Recherche en Informatique et * #* en Automatique. * #* * #* All rights reserved. This file is distributed under the terms of * #* the GNU Lesser General Public License version 2.1, with the * #* special exception on linking described in the file LICENSE. * #* * #************************************************************************** case $1 in stdlib.cm[iox]) echo ' -nopervasives -no-alias-deps -w -49' \ ' -pp "$AWK -f ./expand_module_aliases.awk"';; # stdlib dependencies camlinternalFormatBasics*.cm[iox]) echo ' -nopervasives';; camlinternalAtomic.cm[iox]) echo ' -nopervasives';; # end stdlib dependencies camlinternalOO.cmx) echo ' -inline 0 -afl-inst-ratio 0';; camlinternalLazy.cmx) echo ' -afl-inst-ratio 0';; # never instrument camlinternalOO or camlinternalLazy (PR#7725) stdlib__buffer.cmx) echo ' -inline 3';; # make sure add_char is inlined (PR#5872) stdlib__buffer.cm[io]) echo ' -w A';; camlinternalFormat.cm[io]) echo ' -w Ae';; stdlib__printf.cm[io]|stdlib__format.cm[io]|stdlib__scanf.cm[io]) echo ' -w Ae';; stdlib__scanf.cmx) echo ' -inline 9';; *Labels.cmi) echo ' -pp "$AWK -f ./expand_module_aliases.awk"';; *Labels.cm[ox]) echo ' -nolabels -no-alias-deps';; stdlib__float.cm[ox]) echo ' -nolabels -no-alias-deps';; stdlib__oo.cmi) echo ' -no-principal';; # preserve structure sharing in Oo.copy (PR#9767) *) echo ' ';; esac