| 1 |
22fe1c93
|
ploc
|
#!/bin/bash
|
| 2 |
|
|
|
| 3 |
|
|
version=`svn info | awk -v ver="UNKNOWN" -F ":" '/R?vision/ { ver=$2 } END { print ver }' | tr -d " "`
|
| 4 |
|
|
|
| 5 |
32e6c218
|
tkahsai
|
if [ $version = 'UNKNOWN' ] ; then
|
| 6 |
|
|
version=$(git rev-parse HEAD)
|
| 7 |
|
|
fi
|
| 8 |
|
|
|
| 9 |
|
|
if [ -z $version ] ; then
|
| 10 |
|
|
version=UNKNOWN
|
| 11 |
|
|
fi
|
| 12 |
|
|
|
| 13 |
22fe1c93
|
ploc
|
filename=version.ml
|
| 14 |
04e26a3f
|
xthirioux
|
prefix=$1
|
| 15 |
22fe1c93
|
ploc
|
|
| 16 |
04e26a3f
|
xthirioux
|
echo "Generating version information in file \"${filename}\" ..."
|
| 17 |
22fe1c93
|
ploc
|
|
| 18 |
|
|
echo "" > src/${filename}
|
| 19 |
|
|
echo "(* Version file generated by Oasis *)" >> src/${filename}
|
| 20 |
|
|
echo "" >> src/${filename}
|
| 21 |
|
|
echo "let number = \"${version}\"" >> src/${filename}
|
| 22 |
04e26a3f
|
xthirioux
|
echo "version number: ${version}"
|
| 23 |
|
|
echo "" >> src/${filename}
|
| 24 |
|
|
echo "let prefix = \"${prefix}\"" >> src/${filename}
|
| 25 |
|
|
echo "installation path prefix: ${prefix}"
|
| 26 |
32e6c218
|
tkahsai
|
echo "... done"
|