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
#
# COPYRIGHT (c) 2019 The Fellowship of SML/NJ (http://www.smlnj.org)
# All rights reserved.
#
# A script for running the MDL tool on a specification file.
#
# usage: mdl.sh <file>
#
if [ $# -ne 1 ] ; then
echo "usage: mdl.sh <file>"
exit 1
fi
TARGET=$1
src="$TARGET/$TARGET.mdl"
if [ ! -r "$src" ] ; then
echo "mdl.sh: unknown target"
exit 1
fi
sml <<XXXX
val _ = List.app (fn f => #set(CM.Anchor.anchor f) (SOME "cm")) [
"Control.cm", "Lib.cm", "Graphs.cm", "MLRISC.cm", "MLTREE.cm"
];
CM.make "Tools/MDL/sources.cm";
MDLGen.gen "$src";
XXXX
|
