|
@@ -10,13 +10,13 @@ promconfig.sml: promconfig.sml.in
|
|
|
../conf/substitute.sh $> $@
|
|
|
|
|
|
nodes2prom: nodes2prom.%%HEAP_SUFFIX%%
|
|
|
- heap2exec nodes2prom.%%HEAP_SUFFIX%% nodes2prom
|
|
|
+ heap2exec nodes2prom.%%HEAP_SUFFIX%% nodes2prom || { ../conf/substitute.sh runheap.in $@ && chmod +x $@ ; }
|
|
|
|
|
|
nodes2prom.%%HEAP_SUFFIX%%: promconfig.sml nodes2prom.cm nodes2prom.sml json_lib
|
|
|
ml-build nodes2prom.cm Main.main nodes2prom
|
|
|
|
|
|
json-pp: json-pp.%%HEAP_SUFFIX%%
|
|
|
- heap2exec json-pp.%%HEAP_SUFFIX%% json-pp
|
|
|
+ heap2exec json-pp.%%HEAP_SUFFIX%% json-pp || { ../conf/substitute.sh runheap.in $@ && chmod +x $@ ; }
|
|
|
|
|
|
json-pp.%%HEAP_SUFFIX%%: json-pp.cm json-pp.sml json_lib
|
|
|
ml-build json-pp.cm Main.main json-pp
|
|
@@ -24,6 +24,7 @@ json-pp.%%HEAP_SUFFIX%%: json-pp.cm json-pp.sml json_lib
|
|
|
clean:
|
|
|
rm -rf ${BINFILES}
|
|
|
rm -rf ${CLEANFILES}
|
|
|
+ cd .. && rm -f %%HEAP_FILES%%
|
|
|
|
|
|
# START: ml-makedepend (JSON/json-lib.cm:json_lib); DO NOT DELETE!
|
|
|
json_lib: \
|