addpatch: fricas 1.3.11-1

Signed-off-by: 秋雨落 <[email protected]>
felixonmars · Oct 8, 2024 · 73255a3 · 73255a3
1 parent 1701d02
commit 73255a3
Showing 1 changed file with 29 additions and 0 deletions.
diff --git a/fricas/riscv64.patch b/fricas/riscv64.patch
@@ -0,0 +1,29 @@
+--- PKGBUILD
++++ PKGBUILD
+@@ -14,7 +14,7 @@ depends=(gawk
+          libxpm
+          sh
+          zstd)
+-makedepends=(sbcl
++makedepends=(clisp
+              texlive-basic)
+ options=(!strip)
+ source=(https://github.com/fricas/fricas/releases/download/$pkgver/fricas-$pkgver-full.tar.bz2)
+@@ -27,13 +27,16 @@ prepare() {
+   sed -e "s|^LDF=.*|LDF=$LDFLAGS|" -i $pkgname-$pkgver/configure -i $pkgname-$pkgver/config/var-def.mk
+   sed -e "s|^FRICAS_X11_LDFLAGS = |FRICAS_X11_LDFLAGS = $LDFLAGS |" -i $pkgname-$pkgver/config/var-def.mk
+   sed -e "s|\$(fricas_c_runtime_extra)| \$(fricas_c_runtime_extra) \$(LDF)|g" -i $pkgname-$pkgver/src/lib/Makefile.in
++
++  cd $pkgname-$pkgver
++  autoreconf -fi
+ }
+
+ build() {
+   cd $pkgname-$pkgver
+   ./configure \
+     --prefix=/usr \
+-    --with-lisp='sbcl --control-stack-size 512 --dynamic-space-size 6000'
++    --with-lisp='clisp'
+   make
+ }
+