From 5cdca9902401f37ad7874023bd9a6fb18d93398c Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Tue, 31 Oct 2023 19:46:09 +0100
Subject: [PATCH] Use github mirror for maxima source
The sourceforge file download can be slow and at times unreliable.
Using github releases should hopefully fix it.
closes #14
---
buildscript.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildscript.sh b/buildscript.sh
index ad51c30..9cf0766 100644
--- a/buildscript.sh
+++ b/buildscript.sh
@@ -10,7 +10,7 @@ apt-get update
apt-get install -y bzip2 make wget python3 gcc texinfo curl libcap2-bin
mkdir -p ${SRC}
-wget "https://sourceforge.net/projects/maxima/files/Maxima-source/${MAXIMA_VERSION}-source/maxima-${MAXIMA_VERSION}.tar.gz" -O "${SRC}/maxima-${MAXIMA_VERSION}.tar.gz"
+wget "https://github.com/mathinstitut/maxima-mirror/releases/download/${MAXIMA_VERSION}/maxima-${MAXIMA_VERSION}.tar.gz" -O "${SRC}/maxima-${MAXIMA_VERSION}.tar.gz"
wget "https://github.com/sbcl/sbcl/archive/refs/tags/sbcl-${SBCL_VERSION}.tar.gz" -O "${SRC}/sbcl-${SBCL_VERSION}.tar.gz"
# Compile sbcl (installs and removes debian sbcl for bootstrapping)
--
GitLab