aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-03 09:58:59 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-03 09:58:59 +0200
commit1a94d67617204744c2b1ccd4f6f22cd231e46190 (patch)
treee33e8f448659f3586581b0127c800e8d03c8792a
parenta3ac14b64a71ef77d85d6c846f7546c1af4b5533 (diff)
Manage versions using git tags
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index e09682b..059c7d8 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ LIBS ?=
-FTAG_VERSION := 0.1
+FTAG_VERSION := $(shell git tag --list | tail -n 1 | tr -d 'v')
FTAG_ARCHIVE_DIR := ftag-$(FTAG_VERSION)
FTAG_ARCHIVE := ftag-$(FTAG_VERSION).tar.gz