From 3fa360f0a2acf750f7c268aaba7321fba5f60a0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E7=A7=8B=E9=9B=A8=E8=90=BD?= <i@rain.cx>
Date: Tue, 8 Oct 2024 19:33:33 +0800
Subject: [PATCH] addpatch: fricas 1.3.11-1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: 秋雨落 <i@rain.cx>
---
 fricas/riscv64.patch | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 fricas/riscv64.patch

diff --git a/fricas/riscv64.patch b/fricas/riscv64.patch
new file mode 100644
index 000000000..4d49856dc
--- /dev/null
+++ 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
+ }
+