forked from nrnrnr/qc--
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmkfile.gen
58 lines (39 loc) · 1.59 KB
/
mkfile.gen
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
<../config/lrtl.mk
# ------------------------------------------------------------------
# gather ye specifications where ye may
# ------------------------------------------------------------------
$SLEDSPECDIR/&.spec: $SLEDSPECDIR/&.nw
(cd `dirname $target`; mk `basename $target`)
$SLEDSPECDIR/&-names.spec: $SLEDSPECDIR/&.nw
(cd `dirname $target`; mk `basename $target`)
$TKRTL/&.rtl: $TKRTL/&.nw
(cd `dirname $target`; mk `basename $target`)
&.sled:D: $SLEDSPECDIR/&.spec $SLEDSPECDIR/&-names.spec &.discards
cat $prereq > $target
$SLEDSPECDIR/spent.spec: $SLEDSPECDIR/pentium.nw
(cd `dirname $target`; mk `basename $target`)
x86i.sled:D: $SLEDSPECDIR/spent.spec x86i.discards
# remove discard to work around some foul toolkit bug
cat $prereq | grep -vw discard > $target
&.rtl:D: $TKRTL/&.rtl
cat $prereq > $target
# ------------------------------------------------------------------
# the SLED library
# ------------------------------------------------------------------
sledlib.mli:D: $SLEDLIBDIR/caml-lib.nw
notangle -L"$LINE" -R$target $prereq > $target
sledlib.ml:D: $SLEDLIBDIR/caml-lib.nw
notangle -L"$LINE" -R$target $prereq > $target
# ------------------------------------------------------------------
# ASDL files
# ------------------------------------------------------------------
ast.ml \
ast.mli \
astUtil.ml \
astUtil.mli: ast.asdl
asdlGen --ocaml --pickler=sexp $prereq
rtlasdl.ml \
rtlasdl.mli \
rtlasdlUtil.ml \
rtlasdlUtil.mli: rtlasdl.asdl
asdlGen --ocaml --pickler=sexp $prereq