fricas: 1.3.9 -> 1.3.10

Previous builds refused to build due to memory exhaustion. This was
already fixed by upstream in 759272d834538c54d69d3dbb9f31a2b1e51cf9a8.
This commit is contained in:
Jonas Meurer 2024-05-27 23:38:37 +02:00
parent 61f95814d3
commit 4a2bbf27a8
No known key found for this signature in database
GPG Key ID: 7D00DC06D0B220A0

View File

@ -1,20 +1,27 @@
{ lib, stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
{ lib, stdenv, fetchFromGitHub, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
stdenv.mkDerivation rec {
pname = "fricas";
version = "1.3.9";
version = "1.3.10";
src = fetchurl {
url = "mirror://sourceforge/fricas/fricas/${version}/fricas-${version}-full.tar.bz2";
sha256 = "sha256-5RPcffM0GN0l6r8IgHJlwdxwwp2y4kIdJ5M3JnGZCzc=";
src = fetchFromGitHub {
owner = "fricas";
repo = "fricas";
rev = version;
sha256 = "sha256-T1xDndDnHq/hmhTWWO3Eu0733u8+C8sJMCF6pbLU2GI=";
};
buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];
# Remove when updating to next version
configurePhase = ''
./configure --prefix=$out --with-lisp='sbcl --dynamic-space-size 3072'
'';
dontStrip = true;
meta = {
homepage = "https://fricas.sourceforge.net/";
homepage = "https://fricas.github.io";
description = "An advanced computer algebra system";
license = lib.licenses.bsd3;