diff options
| author | Pjotr Prins | 2025-11-22 10:35:33 +0100 |
|---|---|---|
| committer | Pjotr Prins | 2025-11-22 10:35:33 +0100 |
| commit | d9f1a4a8e648725bff2b03a59651e56644eb8c4b (patch) | |
| tree | b4fe8ef2d20367e78c84043621c452f45ae9a942 /scripts/gen_version_info.cmd | |
| parent | 7f1be7fc3cf51cc7c3b37b88b808c44f2fbf1add (diff) | |
| download | pangemma-d9f1a4a8e648725bff2b03a59651e56644eb8c4b.tar.gz | |
Introduce libguile and drop version generator
Diffstat (limited to 'scripts/gen_version_info.cmd')
| -rw-r--r-- | scripts/gen_version_info.cmd | 16 |
1 files changed, 0 insertions, 16 deletions
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%" |
