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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
# 1. To make standard library:
#
# e.g. from lib/std directory:
# $(MAKE) way=ilx-Onot-mono std.ilx-Onot.mono.dll std.ilx-Onot.mono.vlb
# $(MAKE) way=ilx-O-mono std.ilx-O.mono.dll std.ilx-O.mono.vlb
# $(MAKE) way=ilx-Onot-generic std.ilx-Onot.generic.dll
#
# 2. To make tests:
#
# e.g. from ilxGen/tests directory:
#
# $ make -n way=ilx-Onot-mono test1.ilx-Onot.mono.retail.run
#
# $ make -n way=ilx-Onot-mono test1-nostdlib.ilx-Onot.mono.retail.run HC_OPTS="-fno-implicit-prelude -fglasgow-exts"
#
# Add all the ILX ways so dependencies get made correctly.
# (n.b. Actually we only need to add "ilx-Onot" and "ilx-O" for the
# GHC --> ILX dependencies, as these are the portions of the ILX
# ways that are relevant in terms of GHC options,
# but we list some of the others anyway. Also note that
# there are no dependencies required for the ILX --> IL or
# IL --> CLR phases as these operate on the "standalone"
# ILX and IL files).
#
#GhcLibWays+= ilx-Onot-mono ilx-Onot ilx-O ilx-O-mono
GhcLibWays+=i
GhcWithIlx=YES
ILXized=YES
GhcHcOpts+=-DILX -DNO_BIG_TUPLES
GhcLibHcOpts+=-optI--mono -optI--add-suffix-to-assembly -optImsilxlib -optI--suffix-to-add -optI.mono
# Each set of args below defines one ILX way.
#ALL_WAYS+=ilx-Onot-generic
#WAY_ilx-Onot-generic_NAME=ILX with Haskell Optimizer Off to run on Generic CLR
#WAY_ilx-Onot-generic_HC_OPTS=-buildtag ilx-Onot $(GHC_ILX_OPTS) -Onot
#WAY_ilx-Onot-generic_ILX2IL_OPTS=--generic
#WAY_ilx-Onot-generic_ILX=YES
#ALL_WAYS+=ilx-Onot-fullgeneric-verifiable
#WAY_ilx-Onot-fullgeneric-verifiable_NAME=ILX with Haskell Optimizer Off to run on Generic CLR
#WAY_ilx-Onot-fullgeneric-verifiable_HC_OPTS=-buildtag ilx-Onot $(GHC_ILX_OPTS) -Onot
#WAY_ilx-Onot-fullgeneric-verifiable_ILX2IL_OPTS=--fullgeneric --verifiable
#WAY_ilx-Onot-fullgeneric-verifiable_ILX=YES
#ALL_WAYS+=ilx-Onot-repgeneric-verifiable
#WAY_ilx-Onot-repgeneric-verifiable_NAME=ILX with Haskell Optimizer Off to run on Generic CLR
#WAY_ilx-Onot-repgeneric-verifiable_HC_OPTS=-buildtag ilx-Onot $(GHC_ILX_OPTS) -Onot
#WAY_ilx-Onot-repgeneric-verifiable_ILX2IL_OPTS=--repgeneric --verifiable
#WAY_ilx-Onot-repgeneric-verifiable_ILX=YES
#ALL_WAYS+=ilx-O-generic
#WAY_ilx-O-generic_NAME=ILX with Haskell Optimizer On to run on Generic CLR
#WAY_ilx-O-generic_HC_OPTS=-buildtag ilx-O $(GHC_ILX_OPTS) -O
#WAY_ilx-O-generic_ILX2IL_OPTS=--generic
#WAY_ilx-O-generic_ILX=YES
#ALL_WAYS+=ilx-Onot-mono
#WAY_ilx-Onot-mono_NAME=ILX with Haskell Optimizer Off to run on V1 CLR
#WAY_ilx-Onot-mono_HC_OPTS=-buildtag ilx-Onot $(GHC_ILX_OPTS) -Onot
#WAY_ilx-Onot-mono_ILX2IL_OPTS=--mono
#WAY_ilx-Onot-mono_ILX=YES
#ALL_WAYS+=ilx-Onot-mono-verifiable
#WAY_ilx-Onot-mono-verifiable_NAME=ILX with Haskell Optimizer Off to run on V1 CLR, verifiable code (CURRENTLY WILL NOT RUN BECAUSE OF LACK OF HIGHER KINDED TYPE PARAMETERS BUT IS USEFUL TO FIND BUGS USING THE VERIFIER)
#WAY_ilx-Onot-mono-verifiable_HC_OPTS=-buildtag ilx-Onot $(GHC_ILX_OPTS) -Onot
#WAY_ilx-Onot-mono-verifiable_ILX2IL_OPTS=--mono --verifiable
#WAY_ilx-Onot-mono-verifiable_ILX=YES
#ALL_WAYS+=ilx-O-mono
#WAY_ilx-O-mono_NAME=ILX with Haskell Optimizer On to run on V1 CLR
#WAY_ilx-O-mono_HC_OPTS=-buildtag ilx-O $(GHC_ILX_OPTS) -O
#WAY_ilx-O-mono_ILX2IL_OPTS=--mono
#WAY_ilx-O-mono_ILX=YES
#ALL_WAYS+=ilx-Onot-generic-traced
#WAY_ilx-Onot-generic-traced_NAME=ILX with Haskell Optimizer Off to run on Generic CLR
#WAY_ilx-Onot-generic-traced_HC_OPTS=-buildtag ilx-Onot $(GHC_ILX_OPTS) -Onot
#WAY_ilx-Onot-generic-traced_ILX2IL_OPTS=--generic --traced
#WAY_ilx-Onot-generic-traced_ILX=YES
#ALL_WAYS+=ilx-O-generic-traced
#WAY_ilx-O-generic-traced_NAME=ILX with Haskell Optimizer On to run on Generic CLR
#WAY_ilx-O-generic-traced_HC_OPTS=-buildtag ilx-O $(GHC_ILX_OPTS) -O
#WAY_ilx-O-generic-traced_ILX2IL_OPTS=--generic --traced
#WAY_ilx-O-generic-traced_ILX=YES
#ALL_WAYS+=ilx-Onot-mono-traced
#WAY_ilx-Onot-mono-traced_NAME=ILX with Haskell Optimizer Off to run on V1 CLR
#WAY_ilx-Onot-mono-traced_HC_OPTS=-buildtag ilx-Onot $(GHC_ILX_OPTS) -Onot
#WAY_ilx-Onot-mono-traced_ILX2IL_OPTS=--mono --traced
#WAY_ilx-Onot-mono-traced_ILX=YES
#ALL_WAYS+=ilx-O-mono-traced
#WAY_ilx-O-mono-traced_NAME=ILX with Haskell Optimizer On to run on V1 CLR
#WAY_ilx-O-mono-traced_HC_OPTS=-buildtag ilx-O $(GHC_ILX_OPTS) -O
#WAY_ilx-O-mono-traced_ILX2IL_OPTS=--mono --traced
#WAY_ilx-O-mono-traced_ILX=YES
# Put a "." after the Haskell portion of the way. Way names can't contain
# dots for some reason elsewhere in the Make system. But we need to be able
# to split out the Haskell portion of the way from the ILX portion (e.g. --generic)
# and the runtime portion (e.g. --retail).
ilx_way=$(subst ilx-Onot-,ilx-Onot.,$(subst ilx-O-,ilx-O.,$(way)))
ilx2il_suffix=$(subst ilx-Onot.,.,$(subst ilx-O.,.,$(ilx_way)))
hs2ilx_suffix=$(subst $(ilx2il_suffix),,$(ilx_way))
HS_ILX=$(subst $(way),$(hs2ilx_suffix),$(HS_OBJS))
#HS_IL=$(subst $(hs2ilx_suffix)_o,$(ilx_way).il,$(HS_ILX))
HS_IL=$(subst .o,.il,$(HS_ILX))
ILVALID=C:/devel/fcom/bin/ilvalid.exe
ILVERIFY=C:/devel/fcom/bin/ilverify.exe
%.$(ilx_way).mvl : %.$(ilx_way).il $(HS_IL)
((ILVALID_HOME=c:\\devel\\fcom\\src\\ ILVALID_MSCORLIB=mscorlib.vlb $(ILVALID) c:\\devel\\fcom\\src\\bin\\msilxlib$(ilx2il_suffix).vlb $(addprefix --other-il-module ,$(filter-out $*.$(ilx_way).il,$(HS_IL))) $<) 2>&1) | tee $@
%.$(ilx_way).mvr : %.$(ilx_way).il $(HS_IL)
((ILVALID_HOME=c:\\devel\\fcom\\src\\ ILVALID_MSCORLIB=mscorlib.vlb $(ILVERIFY) c:\\devel\\fcom\\src\\bin\\msilxlib$(ilx2il_suffix).vlb $(addprefix --other-il-module ,$(filter-out $<,$(HS_IL))) $<) 2>&1) | tee $@
|
