From d9f1a4a8e648725bff2b03a59651e56644eb8c4b Mon Sep 17 00:00:00 2001
From: Pjotr Prins
Date: Sat, 22 Nov 2025 10:35:33 +0100
Subject: Introduce libguile and drop version generator

---
 scripts/gen_version_info.cmd | 16 ----------------
 scripts/gen_version_info.sh  | 14 --------------
 2 files changed, 30 deletions(-)
 delete mode 100644 scripts/gen_version_info.cmd
 delete mode 100755 scripts/gen_version_info.sh

(limited to 'scripts')

diff --git a/scripts/gen_version_info.cmd b/scripts/gen_version_info.cmd
deleted file mode 100644
index d824687..0000000
--- a/scripts/gen_version_info.cmd
+++ /dev/null
@@ -1,16 +0,0 @@
-@echo off
-rem https://stackoverflow.com/questions/3472631/how-do-i-get-the-day-month-and-year-from-a-windows-cmd-exe-script
-FOR /F "skip=1 tokens=1-6" %%A IN ('WMIC Path Win32_LocalTime Get Day^,Hour^,Minute^,Month^,Second^,Year /Format:table') DO (
-    if "%%B" NEQ "" (
-        SET /A FDATE=%%F*10000+%%D*100+%%A
-    )
-)
-set year=%FDATE:~0,4%
-set /p version=<VERSION
-
-echo // version.h generated by GEMMA
-rem https://stackoverflow.com/questions/7105433/windows-batch-echo-without-new-line
-echo|set /p="#define GEMMA_VERSION ""
-echo %version%"
-echo #define GEMMA_DATE "%FDATE:~0,8%"
-echo #define GEMMA_YEAR "%year%"
diff --git a/scripts/gen_version_info.sh b/scripts/gen_version_info.sh
deleted file mode 100755
index 9be81c6..0000000
--- a/scripts/gen_version_info.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#! /bin/bash
-#
-# Script to generate the version info of GEMMA and its environment
-# in ./src/version.h
-
-DATE=$(date "+%Y-%m-%d")
-YEAR=$(date "+%Y")
-PROFILE=$1
-
-echo // version.h generated by GEMMA $0
-echo \#define GEMMA_VERSION \"$(cat ./VERSION)\"
-echo \#define GEMMA_DATE \"$DATE\"
-echo \#define GEMMA_YEAR \"$YEAR\"
-echo \#define GEMMA_PROFILE \"$PROFILE\"
-- 
cgit 1.4.1