| changeset 39448 | 64639ff50fcd |
| parent 39433 | 3e41c9d29769 |
| 39447:61033a8004e2 | 39448:64639ff50fcd |
|---|---|
2 bin/mosml/Makefile.src: |
2 bin/mosml/Makefile.src: |
3 mkdir -p `dirname $@` |
3 mkdir -p `dirname $@` |
4 echo > $@ |
4 echo > $@ |
5 refresh_FILES: |
5 refresh_FILES: |
6 echo $(POLYML_SRC) | \ |
6 echo $(POLYML_SRC) | \ |
7 sed "s/src\///g" | \ |
7 sed "s/src\/PortablePolyml/PortableIsabelle/g" | \ |
8 sed "s/ Tptp\.s[a-z][a-z]//g" | \ |
8 sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \ |
9 sed "s/ Options\.s[a-z][a-z]//g" \ |
9 sed "s/ src\/Options\.s[a-z][a-z]//g" \ |
10 > FILES |
10 > FILES |