Merge pull request #146666 from ymatsiuk/fricas

fricas: fix build
This commit is contained in:
Alexander Bantyev 2021-11-19 23:37:32 +03:00 committed by GitHub
commit 5ecebf037f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,15 +1,15 @@
{ lib, stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }: { lib, stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
let let
version = "1.3.4"; version = "1.3.7";
name = "fricas-" + version; name = "fricas-" + version;
in in
stdenv.mkDerivation { stdenv.mkDerivation {
inherit name; inherit name;
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/fricas/files/fricas/${version}/${name}-full.tar.bz2"; url = "mirror://sourceforge/fricas/fricas/${version}/${name}-full.tar.bz2";
sha256 = "156k9az1623y5808j845c56z2nvvdrm48dzg1v0ivpplyl7vp57x"; sha256 = "sha256-cOqMvSe3ef/ZeVy5cj/VU/aTRtxgfxZfRbE4lWE5TU4=";
}; };
buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ]; buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];