diff options
author | Peter Carbonetto | 2018-03-01 14:31:44 -0600 |
---|---|---|
committer | GitHub | 2018-03-01 14:31:44 -0600 |
commit | 9df4b1c912a796383bbf9457aebaf9d82ae8f69d (patch) | |
tree | c8ab7ea1129f2f5f36d100b6274a044189e43c3b /scripts/gen_version_info.cmd | |
parent | de72b4a9235c6932364fc1930fc243abfdd134e6 (diff) | |
parent | dd3ca7014de2d8f1a2cec36cc22ff93b1e929cc4 (diff) | |
download | pangemma-9df4b1c912a796383bbf9457aebaf9d82ae8f69d.tar.gz |
Merge pull request #139 from DannyArends/minGW_R
Added support to build GEMMA using the Rtool chain in Windows (x64).
Diffstat (limited to 'scripts/gen_version_info.cmd')
-rw-r--r-- | scripts/gen_version_info.cmd | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/gen_version_info.cmd b/scripts/gen_version_info.cmd new file mode 100644 index 0000000..d824687 --- /dev/null +++ b/scripts/gen_version_info.cmd @@ -0,0 +1,16 @@ +@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%" |