|
@@ -12,8 +12,11 @@ substitutions.conf: substitutions.conf.default substitutions.conf.local
|
|
|
cp -p substitutions.conf.local $@
|
|
|
awk '{ print $$1 }' substitutions.conf.local | fgrep -v -h -f - substitutions.conf.default >> $@
|
|
|
|
|
|
-substitutions.conf.default: substitutions.conf.franchise substitutions.conf.FreeBSD substitutions.conf.Linux
|
|
|
- cat substitutions.conf.franchise substitutions.conf.`uname` > $@
|
|
|
+substitutions.conf.default: substitutions.conf.franchise substitutions.conf.heapsuffix substitutions.conf.FreeBSD substitutions.conf.Linux
|
|
|
+ cat substitutions.conf.franchise substitutions.conf.heapsuffix substitutions.conf.`uname` > $@
|
|
|
+
|
|
|
+substitutions.conf.heapsuffix:
|
|
|
+ echo "HEAP_SUFFIX `sml @SMLsuffix`" > $@
|
|
|
|
|
|
substitutions.conf.local:
|
|
|
[ -e $@ ] || \
|
|
@@ -21,5 +24,5 @@ substitutions.conf.local:
|
|
|
if [ -e $$ETC_CONF ] ; then ln -s $$ETC_CONF $@ ; else touch $@ ; fi ; }
|
|
|
|
|
|
clean:
|
|
|
- rm -f substitutions.sed substitutions.conf substitutions.conf.default
|
|
|
+ rm -f substitutions.sed substitutions.conf substitutions.conf.default substitutions.conf.heapsuffix
|
|
|
[ -L substitutions.conf.local ] && rm -f substitutions.conf.local || [ -s substitutions.conf.local ] || rm -f substitutions.conf.local
|