equal
deleted
inserted
replaced
5 # Signatures, structures, and functors are renamed to have a "Metis_" prefix. |
5 # Signatures, structures, and functors are renamed to have a "Metis_" prefix. |
6 # A few other ad hoc transformations are performed to ensure that the sources |
6 # A few other ad hoc transformations are performed to ensure that the sources |
7 # compile within Isabelle on Poly/ML and SML/NJ. |
7 # compile within Isabelle on Poly/ML and SML/NJ. |
8 |
8 |
9 THIS=$(cd "$(dirname "$0")"; echo $PWD) |
9 THIS=$(cd "$(dirname "$0")"; echo $PWD) |
|
10 |
|
11 make -f Makefile.FILES refresh_FILES |
10 |
12 |
11 ( |
13 ( |
12 cat <<EOF |
14 cat <<EOF |
13 (* |
15 (* |
14 This file was generated by the "make_metis" script. The BSD License is used |
16 This file was generated by the "make_metis" script. The BSD License is used |