Project

General

Profile

Download (558 Bytes) Statistics
| Branch: | Tag: | Revision:
1
#!/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
prefix=$1
7

    
8
echo "Generating version information in file \"${filename}\" ..."
9

    
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
echo "version number: ${version}"
15
echo "" >> src/${filename}
16
echo "let prefix = \"${prefix}\"" >> src/${filename}
17
echo "installation path prefix: ${prefix}"
18
echo "... done"
(11-11/12)