summaryrefslogtreecommitdiff
path: root/stdlib/Compflags
blob: 0f7b922a1f00594ca69a2ce6e06e64fcedc7e2d1 (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
#!/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
  pervasives.cm[iox]|pervasives.p.cmx) echo ' -nopervasives';;
  camlinternalOO.cmi) echo ' -nopervasives';;
  camlinternalOO.cmx|camlinternalOO.p.cmx) echo ' -inline 0';;
  buffer.cmx|buffer.p.cmx) echo ' -inline 3';;
                           # make sure add_char is inlined (PR#5872)
  buffer.cm[io]) echo ' -w A';;
  camlinternalFormat.cm[io]) echo ' -w Ae';;
  camlinternalFormatBasics*.cm[iox]) echo ' -nopervasives';;
  printf.cm[io]|format.cm[io]|scanf.cm[io]) echo ' -w Ae';;
  scanf.cmx|scanf.p.cmx) echo ' -inline 9';;
  *Labels.cm[ox]|*Labels.p.cmx) echo ' -nolabels -no-alias-deps';;
  *) echo ' ';;
esac