HACK

flintlib · Oct 13, 2023 · 7f1faf7 · 7f1faf7
1 parent ea98611
commit 7f1faf7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -312,7 +312,7 @@ jobs:
       - name: "Configure"
         run: |
           cd ${REPO}
-          dos2unix configure
+          #dos2unix configure
           dos2unix bootstrap.sh
           ./bootstrap.sh
           ./configure CC=${CC} CFLAGS="${CFLAGS}" ${EXTRA_OPTIONS}

diff --git a/configure.ac b/configure.ac
@@ -31,6 +31,8 @@ AC_PREREQ(2.59)
 
 m4_define(FLINT_VERSION,m4_include([VERSION]))
 
+echo "the flint version is FLINT_VERSION"
+
 AC_INIT(FLINT, FLINT_VERSION, [https://github.com/flintlib/flint/issues/], flint, [https://flintlib.org/])
 AC_CONFIG_AUX_DIR([config])
 AC_LANG(C)
@@ -1013,6 +1015,10 @@ FLINT_MINOR=${tail%%.*}
 tail=${tail#*.}
 FLINT_PATCH=${tail%-*}
 
+echo "FLINT_MAJOR = $FLINT_MAJOR"
+echo "FLINT_MINOR = $FLINT_MINOR"
+echo "FLINT_PATCH = $FLINT_PATCH"
+
 AC_SUBST(FLINT_MAJOR)
 AC_SUBST(FLINT_MINOR)
 AC_SUBST(FLINT_PATCH)