blob: 1ee3c484da3912f55dde4e7271b1fd68961f27d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
echo "Fixing file names..."
mv list.ml CoqList.ml
mv list.mli CoqList.mli
mv string.ml CoqString.ml
mv string.mli CoqString.mli
mv int.ml CoqInt.ml
mv int.mli CoqInt.mli
echo "Conversion List -> CoqList, String -> CoqString, Int -> CoqInt..."
./convert *.mli *.ml
echo "Patching files..."
for i in *.patch; do patch < $i; done
|
