Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/fricas
diff options
context:
space:
mode:
authorTasos Sahanidis <tasos@tasossah.com>2024-09-01 18:06:24 +0300
committerTasos Sahanidis <tasos@tasossah.com>2024-09-01 18:06:24 +0300
commit955016c40c89c9ecd95160fc42bb184537502551 (patch)
treecdbcd2c97a1bd26354e9420580af29c830f4b64b /extra/fricas
parente623f207ca48715b43e8928025b4e02768e5232c (diff)
extra/fricas: Fix dynamic-space-size argument is out of range
Diffstat (limited to 'extra/fricas')
-rw-r--r--extra/fricas/PKGBUILD3
1 files changed, 3 insertions, 0 deletions
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/)"