blob: 8d96ab2802434fb8c992ed3d361d8eeff4773320 (
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
36
37
38
39
40
41
42
|
#########################################################################
# #
# Objective Caml #
# #
# Damien Doligez, projet Para, INRIA Rocquencourt #
# #
# Copyright 1999 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
# $Id$
set echo 0
Set f "`Files -f -q "{1}"`" # get full pathnames
exit if `evaluate "{f}" =~ /(Å)¨0.ml/` != 1
set base "{¨0}"
set _closeit 0
Set _openWindows " ``Windows -q`` "
If "{_openWindows}" !~ /Å [¶']*"{f}"[¶']* Å/
Open "{f}"
Set _closeit 1
End
ocamlc -unsafe -nopervasives "{f}"
find ° "{f}"
find Æ\'**)'\:\'(**'\Æ "{f}"
echo >"{f}".¤
ocamldumpobj a.out >>"{f}".¤
find ¥ "{f}"
format -t 8 "{f}"
delete -i "{base}".cmi "{base}".cmo
if {_closeit}
close -y "{f}"
end
|
