version numbers are now followed by git tag

Daniel Kroening · Daniel Kroening · commit 1d461c47b326 · 2018-06-21T21:09:14.000+01:00
diff --git a/src/cbmc/dist-linux b/src/cbmc/dist-linux
@@ -4,7 +4,7 @@ umask u=rwx,g=rx,o=rx
 make
 strip cbmc
 
-VERSION=`./cbmc --version`
+VERSION=`./cbmc --version | cut -d " " -f 1`
 VERSION_FILE=`echo $VERSION | sed "y/./-/"`
 BITS=`getconf LONG_BIT`
 # UNAME_M=`uname -m`
diff --git a/src/cbmc/dist-macos b/src/cbmc/dist-macos
@@ -8,7 +8,7 @@ make cbmc-mac-signed
 (cd ../goto-cc; make goto-cc-mac-signed)
 (cd ../goto-instrument; make goto-instrument-mac-signed)
 
-VERSION=`./cbmc --version`
+VERSION=`./cbmc --version | cut -d " " -f 1`
 VERSION_FILE=`echo $VERSION | sed "y/./-/"`
 BITS=`getconf LONG_BIT`
 
diff --git a/src/cbmc/dist-win b/src/cbmc/dist-win
@@ -3,7 +3,7 @@
 make
 strip cbmc.exe
 
-VERSION=`./cbmc.exe --version`
+VERSION=`./cbmc.exe --version | cut -d " " -f 1`
 VERSION_FILE=`echo $VERSION | sed "y/./-/"`
 
 echo $VERSION_FILE
