2015-12-26 16:15:10 +01:00
|
|
|
|
{ fetchurl, stdenv, makeDesktopItem, unzip, bash, jre8 }:
|
2015-12-23 23:52:28 +01:00
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
|
name = "josm-${version}";
|
2017-02-11 00:28:52 +01:00
|
|
|
|
version = "11526";
|
2015-12-23 23:52:28 +01:00
|
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
|
url = "https://josm.openstreetmap.de/download/josm-snapshot-${version}.jar";
|
2017-02-11 00:28:52 +01:00
|
|
|
|
sha256 = "1164vfqbbys0032amk85219y0paihvi8jkx0kwc5lramwsk57pld";
|
2015-12-23 23:52:28 +01:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
phases = [ "installPhase" ];
|
|
|
|
|
|
|
|
|
|
buildInputs = [ jre8 ];
|
|
|
|
|
|
2015-12-26 16:15:10 +01:00
|
|
|
|
desktopItem = makeDesktopItem {
|
|
|
|
|
name = "josm";
|
|
|
|
|
exec = "josm";
|
|
|
|
|
icon = "josm";
|
|
|
|
|
desktopName = "JOSM";
|
|
|
|
|
genericName = "OpenStreetMap Editor";
|
|
|
|
|
comment = meta.description;
|
|
|
|
|
categories = "Education;Geoscience;Maps;";
|
|
|
|
|
};
|
|
|
|
|
|
2015-12-23 23:52:28 +01:00
|
|
|
|
installPhase = ''
|
|
|
|
|
mkdir -p $out/bin $out/share/java
|
|
|
|
|
cp -v $src $out/share/java/josm.jar
|
|
|
|
|
cat > $out/bin/josm <<EOF
|
|
|
|
|
#!${bash}/bin/bash
|
|
|
|
|
exec ${jre8}/bin/java -jar $out/share/java/josm.jar "\$@"
|
|
|
|
|
EOF
|
|
|
|
|
chmod 755 $out/bin/josm
|
2015-12-26 16:15:10 +01:00
|
|
|
|
|
|
|
|
|
mkdir -p $out/share/applications
|
|
|
|
|
cp $desktopItem/share/applications"/"* $out/share/applications
|
|
|
|
|
mkdir -p $out/share/pixmaps
|
|
|
|
|
${unzip}/bin/unzip -p $src images/logo_48x48x32.png > $out/share/pixmaps/josm.png
|
2015-12-23 23:52:28 +01:00
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
|
description = "An extensible editor for OpenStreetMap";
|
|
|
|
|
homepage = https://josm.openstreetmap.de/;
|
|
|
|
|
license = licenses.gpl2Plus;
|
|
|
|
|
maintainers = [ maintainers.rycee ];
|
2015-12-26 16:15:10 +01:00
|
|
|
|
platforms = platforms.all;
|
2015-12-23 23:52:28 +01:00
|
|
|
|
};
|
|
|
|
|
}
|