[build] Specific VERSION.txt file

herd · May 6, 2022 · 813134b · 813134b
1 parent f544fd4
commit 813134b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/VERSION.txt b/VERSION.txt
@@ -0,0 +1 @@
+7.56+02~dev
diff --git a/defs.sh b/defs.sh
@@ -24,5 +24,5 @@ cpdir () {
   rm -rf $TO && mkdir -p $TO && ( cd $FROM && cp -r . $TO )
 }
 
-VERSION=$(grep "^version:" herdtools7.opam | cut -d ":" -f 2 | cut -d '"' -f 2)
+VERSION=$(cat VERSION.txt)
 REV=$(git rev-parse HEAD 2>/dev/null || echo exported)
diff --git a/dune-defs.sh b/dune-defs.sh
@@ -26,5 +26,5 @@ cpdir () {
   rm -rf $TO && mkdir -p $TO && ( cd $FROM && cp -r . $TO )
 }
 
-VERSION=$(grep "^version:" herdtools7.opam | cut -d ":" -f 2 | cut -d '"' -f 2)
+VERSION=$(cat VERSION.txt)
 REV=$(git rev-parse HEAD 2>/dev/null || echo exported)