2004-06-13 05:47:32 -07:00
|
|
|
#!/bin/sh
|
|
|
|
#########################################################################
|
|
|
|
# #
|
2011-07-27 07:17:02 -07:00
|
|
|
# OCaml #
|
2004-06-13 05:47:32 -07:00
|
|
|
# #
|
|
|
|
# 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 Library General Public License, with #
|
|
|
|
# the special exception on linking described in file ../LICENSE. #
|
|
|
|
# #
|
|
|
|
#########################################################################
|
|
|
|
|
|
|
|
# $Id$
|
|
|
|
|
|
|
|
case $1 in
|
2004-07-13 05:25:21 -07:00
|
|
|
pervasives.cm[iox]|pervasives.p.cmx) echo ' -nopervasives';;
|
|
|
|
camlinternalOO.cmi) echo ' -nopervasives';;
|
|
|
|
camlinternalOO.cmx|camlinternalOO.p.cmx) echo ' -inline 0';;
|
2011-06-20 14:46:20 -07:00
|
|
|
printf.cm[io]|format.cm[io]|scanf.cm[io]) echo ' -w A';;
|
2004-11-02 06:51:37 -08:00
|
|
|
scanf.cmx|scanf.p.cmx) echo ' -inline 9';;
|
2004-07-13 05:25:21 -07:00
|
|
|
arrayLabels.cm[ox]|arrayLabels.p.cmx) echo ' -nolabels';;
|
|
|
|
listLabels.cm[ox]|listLabels.p.cmx) echo ' -nolabels';;
|
|
|
|
stringLabels.cm[ox]|stringLabels.p.cmx) echo ' -nolabels';;
|
|
|
|
moreLabels.cm[ox]|moreLabels.p.cmx) echo ' -nolabels';;
|
|
|
|
*) echo ' ';;
|
2004-06-13 05:47:32 -07:00
|
|
|
esac
|