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.sh | |
| parent | 7f1be7fc3cf51cc7c3b37b88b808c44f2fbf1add (diff) | |
| download | pangemma-d9f1a4a8e648725bff2b03a59651e56644eb8c4b.tar.gz | |
Introduce libguile and drop version generator
Diffstat (limited to 'scripts/gen_version_info.sh')
| -rwxr-xr-x | scripts/gen_version_info.sh | 14 |
1 files changed, 0 insertions, 14 deletions
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\" |