From 955016c40c89c9ecd95160fc42bb184537502551 Mon Sep 17 00:00:00 2001
From: Tasos Sahanidis <tasos@tasossah.com>
Date: Sun, 1 Sep 2024 18:06:24 +0300
Subject: extra/fricas: Fix dynamic-space-size argument is out of range

---
 extra/fricas/PKGBUILD | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 extra/fricas/PKGBUILD

(limited to 'extra')

diff --git a/extra/fricas/PKGBUILD b/extra/fricas/PKGBUILD
new file mode 100644
index 00000000..4fd4f853
--- /dev/null
+++ b/extra/fricas/PKGBUILD
@@ -0,0 +1,3 @@
+# dynamic-space-size argument is out of range: 6000
+eval "$(declare -f prepare | sed 's@^}$@sed s/3072/2048/ -i "$pkgname-$pkgver/configure"; }@')"
+eval "$(declare -f build | sed s/6000/2048/)"
-- 
cgit v1.2.3-70-g09d2