commit e763bbda64ad1bae7d5ed6ad50ac9f5ed4238cf1 parent 09b5ddab1cf36bede46f2acc0336c64ef6099505 Author: Martin Schanzenbach <schanzen@gnunet.org> Date: Sun, 27 Apr 2025 07:48:50 +0200 fix configure version Diffstat:
| M | configure | | | 19 | +++---------------- |
1 file changed, 3 insertions(+), 16 deletions(-)
diff --git a/configure b/configure @@ -1,6 +1,7 @@ #!/bin/sh pkg_name="taldir-mailbox" +pkg_version="1.0.0" pkg_default_features="" pkg_optional_features="" pkg_optional_dependencies="" @@ -12,21 +13,7 @@ standard_flags="ARFLAGS BISONFLAGS CFLAGS CXXFLAGS CPPFLAGS FLEXFLAGS INSTALLFLA standard_vars="INSTALL_DATA INSTALL_PROGRAM INSTALL_SCRIPT" generated_comment="# This file was generated by configure. DO NOT edit it directly." -if [ -d ".git" ]; then - detected_version=`git describe --tags` - echo "Found git tag ${detected_version}" - detected_version=${detected_version:1} -else - dirnm=${PWD##*/} - dirnm=${dirnm:-/} - detected_version=${dirnm#*-} - if [ "$detected_version" = "$dirnm" ]; then - detected_version="unknown" - fi -fi - - -echo "Configuring ${pkg_name}-${detected_version}" +echo "Configuring ${pkg_name}-${pkg_version}" # Save arguments cat > config.status <<EOF @@ -159,7 +146,7 @@ cat > Makefile <<EOF $generated_comment SHELL = /bin/sh VPATH = ${var_srcdir} -VERSION = ${detected_version} +VERSION = ${pkg_version} srcdir = ${var_srcdir} prefix = ${var_prefix:-/usr/local}