summaryrefslogtreecommitdiff
path: root/stdlib/Compflags
blob: ad75da1679512737de9388ff5204bfd11e418c85 (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
#!/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]|stdlib.p.cmx)
      echo ' -nopervasives -no-alias-deps -w -49' \
           ' -pp "$AWK -f ./expand_module_aliases.awk"';;
  camlinternalOO.cmx|camlinternalOO.p.cmx) echo ' -inline 0 -afl-inst-ratio 0';;
  camlinternalLazy.cmx|camlinternalLazy.p.cmx) echo ' -afl-inst-ratio 0';;
    # never instrument camlinternalOO or camlinternalLazy (PR#7725)
  stdlib__buffer.cmx|stdlib__buffer.p.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';;
  camlinternalFormatBasics*.cm[iox]) echo ' -nopervasives';;
  stdlib__printf.cm[io]|stdlib__format.cm[io]|stdlib__scanf.cm[io])
      echo ' -w Ae';;
  stdlib__scanf.cmx|stdlib__scanf.p.cmx) echo ' -inline 9';;
  *Labels.cm[ox]|*Labels.p.cmx) echo ' -nolabels -no-alias-deps';;
  stdlib__float.cm[ox]|stdlib__float.p.cmx) echo ' -nolabels -no-alias-deps';;
  *) echo ' ';;
esac