Project

General

Profile

Download (558 Bytes) Statistics
| Branch: | Tag: | Revision:
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
filename=version.ml
6 04e26a3f xthirioux
prefix=$1
7 22fe1c93 ploc
8 04e26a3f xthirioux
echo "Generating version information in file \"${filename}\" ..."
9 22fe1c93 ploc
10
echo "" > src/${filename}
11
echo "(* Version file generated by Oasis *)" >> src/${filename}
12
echo "" >> src/${filename}
13
echo "let number = \"${version}\"" >> src/${filename}
14 04e26a3f xthirioux
echo "version number: ${version}"
15
echo "" >> src/${filename}
16
echo "let prefix = \"${prefix}\"" >> src/${filename}
17
echo "installation path prefix: ${prefix}"
18
echo "... done"