added git version of svn_version

svn_version.sh

@@ -2,6 +2,14 @@
 
 version=`svn info | awk -v ver="UNKNOWN" -F ":" '/R?vision/ { ver=$2 } END { print ver }' | tr -d " "`
 
+if [ $version = 'UNKNOWN' ] ; then
+  version=$(git rev-parse HEAD)
+fi
+
+if [ -z $version ] ; then
+  version=UNKNOWN
+fi 
+
 filename=version.ml
 prefix=$1
 
@@ -15,4 +23,4 @@ echo "version number: ${version}"
 echo "" >> src/${filename}
 echo "let prefix = \"${prefix}\"" >> src/${filename}
 echo "installation path prefix: ${prefix}"
-echo "... done"
\ No newline at end of file
+echo "... done"