wxmaxima: 15.04.0 -> 17.10.1
also fix crash at start-up due missing icons fixes #18479
This commit is contained in:
parent
a3ab69d79c
commit
21423521e6
@ -1,35 +1,35 @@
|
||||
{ stdenv, fetchurl, maxima, wxGTK, makeWrapper }:
|
||||
{ stdenv, fetchFromGitHub
|
||||
, wrapGAppsHook, autoreconfHook, gettext
|
||||
, maxima, wxGTK, gnome3 }:
|
||||
|
||||
let
|
||||
name = "wxmaxima";
|
||||
version = "15.04.0";
|
||||
in
|
||||
stdenv.mkDerivation {
|
||||
name = "${name}-${version}";
|
||||
stdenv.mkDerivation rec {
|
||||
name = "wxmaxima-${version}";
|
||||
version = "17.10.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://sourceforge/${name}/wxMaxima/${version}/wxmaxima-${version}.tar.gz";
|
||||
sha256 = "1fm47ah4aw5qdjqhkz67w5fwhy8yfffa5z896crp0d3hk2bh4180";
|
||||
src = fetchFromGitHub {
|
||||
owner = "andrejv";
|
||||
repo = "wxmaxima";
|
||||
rev = "Version-${version}";
|
||||
sha256 = "088h8dlc9chkppwl4ck9i0fgf2d1dcpi5kq8qbpr5w75vhwsb6qm";
|
||||
};
|
||||
|
||||
buildInputs = [wxGTK maxima makeWrapper];
|
||||
buildInputs = [ wxGTK maxima gnome3.defaultIconTheme ];
|
||||
|
||||
postInstall = ''
|
||||
# Make sure that wxmaxima can find its runtime dependencies.
|
||||
for prog in "$out/bin/"*; do
|
||||
wrapProgram "$prog" --prefix PATH ":" "${maxima}/bin"
|
||||
done
|
||||
nativeBuildInputs = [ wrapGAppsHook autoreconfHook gettext ];
|
||||
|
||||
preConfigure = ''
|
||||
gappsWrapperArgs+=(--prefix PATH ":" ${maxima}/bin)
|
||||
'';
|
||||
|
||||
doCheck = true;
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
meta = {
|
||||
meta = with stdenv.lib; {
|
||||
description = "Cross platform GUI for the computer algebra system Maxima";
|
||||
license = stdenv.lib.licenses.gpl2;
|
||||
license = licenses.gpl2;
|
||||
homepage = http://wxmaxima.sourceforge.net;
|
||||
platforms = stdenv.lib.platforms.linux;
|
||||
maintainers = [ stdenv.lib.maintainers.peti ];
|
||||
platforms = platforms.linux;
|
||||
maintainers = [ maintainers.peti ];
|
||||
};
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user