stable/20240000: Remve use of Brad's development tools.

coin-or · Jan 4, 2024 · ad1a7dc · ad1a7dc
1 parent 0d10a72
commit ad1a7dc
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/bin/check_all.sh b/bin/check_all.sh
@@ -77,7 +77,12 @@ then
    echo_log_eval rm -r $HOME/prefix/cppad
 fi
 # ---------------------------------------------------------------------------
-version=`version.sh get`
+#
+# version
+version=$(
+   sed -n -e '/^SET( *cppad_version *"[0-9.]*")/p' CMakeLists.txt | \
+      sed -e 's|.*"\([^"]*\)".*|\1|'
+)
 # ---------------------------------------------------------------------------
 #
 # compiler