Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/fricas
diff options
context:
space:
mode:
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/)"