68 |
c-util/lib-interface-head-frag.sml \ |
c-util/lib-interface-head-frag.sml \ |
69 |
c-util/lib-interface-body-frag.sml \ |
c-util/lib-interface-body-frag.sml \ |
70 |
c-util/lib-interface-foot-frag.sml \ |
c-util/lib-interface-foot-frag.sml \ |
71 |
c-target/c-hdr-frag.sml \ |
c-target/par-hdr-frag.sml \ |
72 |
|
c-target/seq-hdr-frag.sml \ |
73 |
c-target/c-body-frag.sml \ |
c-target/c-body-frag.sml \ |
74 |
c-target/exec-hdr-frag.sml \ |
c-target/exec-hdr-frag.sml \ |
75 |
c-target/init-frag.sml \ |
c-target/init-frag.sml \ |
76 |
c-target/alloc-frag.sml \ |
c-target/alloc-frag.sml \ |
77 |
c-target/run-frag.sml \ |
c-target/par-run-frag.sml \ |
78 |
|
c-target/seq-run-frag.sml \ |
79 |
c-target/shutdown-frag.sml \ |
c-target/shutdown-frag.sml \ |
80 |
c-target/par-main-frag.sml \ |
c-target/par-main-frag.sml \ |
81 |
c-target/seq-main-frag.sml |
c-target/seq-main-frag.sml |
125 |
c-util/lib-interface-foot-frag.sml: c-util/fragments/lib-interface-foot.in |
c-util/lib-interface-foot-frag.sml: c-util/fragments/lib-interface-foot.in |
126 |
gen/file2str/file2str.sh $< LibInterfaceFootFrag $@ |
gen/file2str/file2str.sh $< LibInterfaceFootFrag $@ |
127 |
|
|
128 |
c-target/c-hdr-frag.sml: c-target/fragments/c-hdr.in |
c-target/par-hdr-frag.sml: c-target/fragments/par-hdr.in |
129 |
gen/file2str/file2str.sh $< CHeadFrag $@ |
gen/file2str/file2str.sh $< ParHeadFrag $@ |
130 |
|
|
131 |
|
c-target/seq-hdr-frag.sml: c-target/fragments/seq-hdr.in |
132 |
|
gen/file2str/file2str.sh $< SeqHeadFrag $@ |
133 |
|
|
134 |
c-target/c-body-frag.sml: c-target/fragments/c-body.in |
c-target/c-body-frag.sml: c-target/fragments/c-body.in |
135 |
gen/file2str/file2str.sh $< CBodyFrag $@ |
gen/file2str/file2str.sh $< CBodyFrag $@ |
143 |
c-target/alloc-frag.sml: c-target/fragments/alloc.in |
c-target/alloc-frag.sml: c-target/fragments/alloc.in |
144 |
gen/file2str/file2str.sh $< AllocFrag $@ |
gen/file2str/file2str.sh $< AllocFrag $@ |
145 |
|
|
146 |
c-target/run-frag.sml: c-target/fragments/run.in |
c-target/par-run-frag.sml: c-target/fragments/par-run.in |
147 |
gen/file2str/file2str.sh $< RunFrag $@ |
gen/file2str/file2str.sh $< ParRunFrag $@ |
148 |
|
|
149 |
|
c-target/seq-run-frag.sml: c-target/fragments/seq-run.in |
150 |
|
gen/file2str/file2str.sh $< SeqRunFrag $@ |
151 |
|
|
152 |
c-target/shutdown-frag.sml: c-target/fragments/shutdown.in |
c-target/shutdown-frag.sml: c-target/fragments/shutdown.in |
153 |
gen/file2str/file2str.sh $< ShutdownFrag $@ |
gen/file2str/file2str.sh $< ShutdownFrag $@ |