diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-04-10 10:57:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-10 10:57:05 +0200 |
commit | 0dec0ce9d63d5d3168dadb193200af7e91b711c1 (patch) | |
tree | 8cdffb5bba3b960304ad694c2d77ece7b8fd14b9 /stdlib/Compflags | |
parent | 278e5abbc0b6a0c57edf2d3a63ceb4e1a3ff20df (diff) | |
download | ocaml-0dec0ce9d63d5d3168dadb193200af7e91b711c1.tar.gz |
Get rid of the stdlib/Compflags script (#8601)
This script was used to provide module-specific compiler flags.
Now that we use GNU make, these flags can be handled by make itslef.
Diffstat (limited to 'stdlib/Compflags')
-rwxr-xr-x | stdlib/Compflags | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/stdlib/Compflags b/stdlib/Compflags deleted file mode 100755 index 8aa2439821..0000000000 --- a/stdlib/Compflags +++ /dev/null @@ -1,35 +0,0 @@ -#!/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"';; - 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';; - camlinternalFormatBasics*.cm[iox]) echo ' -nopervasives';; - stdlib__printf.cm[io]|stdlib__format.cm[io]|stdlib__scanf.cm[io]) - echo ' -w Ae';; - stdlib__scanf.cmx) echo ' -inline 9';; - *Labels.cm[ox]) echo ' -nolabels -no-alias-deps';; - stdlib__float.cm[ox]) echo ' -nolabels -no-alias-deps';; - *) echo ' ';; -esac |