2015-12-26 15:15:10 +00:00
|
|
|
|
{ fetchurl, stdenv, makeDesktopItem, unzip, bash, jre8 }:
|
2015-12-23 22:52:28 +00:00
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
|
name = "josm-${version}";
|
2016-11-11 11:21:40 +00:00
|
|
|
|
version = "11223";
|
2015-12-23 22:52:28 +00:00
|
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
|
url = "https://josm.openstreetmap.de/download/josm-snapshot-${version}.jar";
|
2016-11-11 11:21:40 +00:00
|
|
|
|
sha256 = "0fv1hlp98f178jy7lxnvq2rk6rq1zj62q6dv0vn02fvm00ia53s8";
|
2015-12-23 22:52:28 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
phases = [ "installPhase" ];
|
|
|
|
|
|
|
|
|
|
buildInputs = [ jre8 ];
|
|
|
|
|
|
2015-12-26 15:15:10 +00:00
|
|
|
|
desktopItem = makeDesktopItem {
|
|
|
|
|
name = "josm";
|
|
|
|
|
exec = "josm";
|
|
|
|
|
icon = "josm";
|
|
|
|
|
desktopName = "JOSM";
|
|
|
|
|
genericName = "OpenStreetMap Editor";
|
|
|
|
|
comment = meta.description;
|
|
|
|
|
categories = "Education;Geoscience;Maps;";
|
|
|
|
|
};
|
|
|
|
|
|
2015-12-23 22:52:28 +00: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 15:15:10 +00: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 22:52:28 +00: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 15:15:10 +00:00
|
|
|
|
platforms = platforms.all;
|
2015-12-23 22:52:28 +00:00
|
|
|
|
};
|
|
|
|
|
}
|