Update makefiles

2026-09-22 23:16:09 +08:00 · 2026-05-11 01:14:07 -07:00
parent 260a28781f
commit 78c768fa99
2 changed files with 32 additions and 2 deletions
@@ -0,0 +1,30 @@
+#!/bin/bash
+
+function Help {
+    echo "Usage:"
+    echo "--make"
+    echo "    Update ./makefile and ./vmake.txt from ./vmake."
+}
+
+function Make {
+    if [ -a vmake ]; then
+        vt4 --preprocess ./vmake | vt4 --evaluate | ${SHELL} > makefile
+    else
+        echo "Cannot find ./vmake ."
+        exit 1
+    fi
+}
+
+case $1 in
+    --help)
+    Help
+    ;;
+
+    --make)
+    Make
+    ;;
+
+    *)
+    echo "Use --help for more information."
+    ;;
+esac