diff options
Diffstat (limited to 'camlp4/etc/mkcamlp4.mpw.tpl')
| -rw-r--r-- | camlp4/etc/mkcamlp4.mpw.tpl | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/camlp4/etc/mkcamlp4.mpw.tpl b/camlp4/etc/mkcamlp4.mpw.tpl deleted file mode 100644 index 6b174bf6a9..0000000000 --- a/camlp4/etc/mkcamlp4.mpw.tpl +++ /dev/null @@ -1,33 +0,0 @@ -####################################################################### -# # -# Camlp4 # -# # -# Damien Doligez, projet Para, INRIA Rocquencourt # -# # -# Copyright 1999 Institut National de Recherche en Informatique et # -# en Automatique. Distributed only by permission. # -# # -####################################################################### - -# $Id$ - -set OLIB OLIBDIR -set LIB LIBDIR - -set INTERFACES "" -set OPTS "" -set INCL "-I :" - -loop - exit if "{1}" == "" - if "{1}" == "-I" - set INCL "{INCL} -I `quote "{2}"`" - shift - else if "{1}" =~ /([Â:])¨0([Â:]*)¨1.cmi/ - set first `echo {¨0} | translate a-z A-Z` - set INTERFACES "{INTERFACES} {first}{¨1}" - else - set OPTS "{OPTS} `quote "{1}"`" - end - shift -end |