New commits:
commit a4ead3592860c1a0887bf0c77cd9c99a834e76b9
Author: Remko van der Vossen <wich AT sourcemage.org>
Commit: Remko van der Vossen <wich AT sourcemage.org>
gmp: do not depend on gmp being installed
diff --git a/libs/gmp/BUILD b/libs/gmp/BUILD
index 063fbb6..f8d7db6 100755
--- a/libs/gmp/BUILD
+++ b/libs/gmp/BUILD
@@ -1,6 +1,10 @@
# For use in INSTALL for Bug #16031
persistent_add gmp_old_version &&
-gmp_old_version=$(installed_version ${SPELL}) &&
+if spell_ok ${SPELL}; then
+ gmp_old_version=$(installed_version ${SPELL})
+else
+ gmp_old_version=
+fi &&
# needed by essential /bin/expr at least
OPTS="--libdir=$INSTALL_ROOT/lib $OPTS" &&
diff --git a/libs/gmp/HISTORY b/libs/gmp/HISTORY
index d1fdd48..ca5945e 100644
--- a/libs/gmp/HISTORY
+++ b/libs/gmp/HISTORY
@@ -1,3 +1,6 @@
+2022-11-20 Remko van der Vossen <wich AT sourcemage.org>
+ * BUILD, INSTALL: do not depend on gmp being installed
+
2020-11-15 Florian Franzmann <bwlf AT bandrate.org>
* DETAILS: devel version 6.2.1