From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Fri, 17 Oct 2025 04:32:04 +0000 (+0000)
Subject: adds release script
X-Git-Url: https://git.reasoningtechnology.com/style/rt_dark_doc.css?a=commitdiff_plain;h=4af123956ffa1aeab5b2f56a721aaf738954245a;p=Rabbit%2F.git

adds release script
---

diff --git a/developer/.githolder b/developer/.githolder
deleted file mode 100644
index e69de29..0000000
diff --git a/developer/tool/makefile b/developer/tool/makefile
index 7547f35..d7f3a40 100644
--- a/developer/tool/makefile
+++ b/developer/tool/makefile
@@ -19,11 +19,11 @@ lib_cli:
 
 # Build all kernel modules
 kmod:
-	@$(MAKE) -f $(RT_INCOMMON)/make/targets_kmod.mk kmod
+	@$(MAKE) -f $(RT_INCOMMON)/make/target_kmod.mk kmod
 
 clean:
 	@$(MAKE) -f $(RT_INCOMMON)/make/target_lib_cli.mk clean
-	@$(MAKE) -f $(RT_INCOMMON)/make/targets_kmod.mk clean
+	@$(MAKE) -f $(RT_INCOMMON)/make/target_kmod.mk clean
 
 check-pwd:
 	@if [ "$(CURDIR)" != "$(REPO_HOME)/developer" ]; then \
diff --git a/developer/tool/release b/developer/tool/release
index 582c84c..73690a3 100755
--- a/developer/tool/release
+++ b/developer/tool/release
@@ -1,9 +1,11 @@
 #!/usr/bin/env bash
 script_afp=$(realpath "${BASH_SOURCE[0]}")
 
-# before running this, make library is built and is in the scratchpad directory
+# This is a bespoke script for copying files into ../release.
+# Files in ../release can be used by the tester role.
+# On a release branch, files in the ../release constitute the public release.
 
-# input guards
+# conventional preliminaries
 
   env_must_be="developer/tool/env"
   if [ "$ENV" != "$env_must_be" ]; then
@@ -13,21 +15,13 @@ script_afp=$(realpath "${BASH_SOURCE[0]}")
 
   cd "$REPO_HOME"/developer || exit 1
 
-  if [ ! -d scratchpad ]; then
-    echo "$(script_fp):: no scratchpad directory"
-    exit 1
-  fi
-
 #set -e
 #set -x
 
-  release_dir=$(release_dir)
-  mkdir -p ${release_dir}
+release_dir="$REPO_HOME/release"
 
-  install_file scratchpad/libN.a ${release_dir} "ug+r"  || true
-  install_file cc/*.lib.c ${release_dir} "ug+r"  || true
-  install_file cc/*.lib.c ${release_dir} "ug+r" || true
+mkdir -p ${release_dir}/kmod && install -m 0600 scratchpad/*.ko   "${release_dir}/kmod/"
+install -m 0700 scratchpad/hello  "${release_dir}/machine/"
 
-#set +x
 echo "$(script_fn) done."