2020-08-20 17:08:02 +00:00
|
|
|
{ stdenv, fetchurl, unzip, makeWrapper
|
|
|
|
, coreutils, gawk, which, gnugrep, findutils
|
|
|
|
, jdk
|
|
|
|
}:
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2020-08-20 17:08:02 +00:00
|
|
|
pname = "openjump";
|
|
|
|
version = "1.15";
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2020-08-20 17:08:02 +00:00
|
|
|
url = "mirror://sourceforge/jump-pilot/OpenJUMP/1.15/OpenJUMP-Portable-1.15-r6241-CORE.zip";
|
|
|
|
sha256 = "12snzkv83w6khcdqzp6xahqapwp82af6c7j2q8n0lj62hk79rfgl";
|
2020-04-24 23:36:52 +00:00
|
|
|
};
|
|
|
|
|
2020-08-20 17:08:02 +00:00
|
|
|
# TODO: build from source
|
2020-04-24 23:36:52 +00:00
|
|
|
unpackPhase = ''
|
|
|
|
mkdir -p $out/bin;
|
|
|
|
cd $out; unzip $src
|
|
|
|
'';
|
|
|
|
|
2020-08-20 17:08:02 +00:00
|
|
|
buildInputs = [unzip makeWrapper];
|
2020-04-24 23:36:52 +00:00
|
|
|
|
2020-08-20 17:08:02 +00:00
|
|
|
installPhase = ''
|
|
|
|
dir=$(echo $out/OpenJUMP-*)
|
|
|
|
|
|
|
|
chmod +x $dir/bin/oj_linux.sh
|
|
|
|
makeWrapper $dir/bin/oj_linux.sh $out/bin/OpenJump \
|
|
|
|
--set JAVA_HOME ${jdk.home} \
|
|
|
|
--set PATH "${coreutils}/bin:${gawk}/bin:${which}/bin:${gnugrep}/bin:${findutils}/bin"
|
|
|
|
'';
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Open source Geographic Information System (GIS) written in the Java programming language";
|
|
|
|
homepage = "http://www.openjump.org/index.html";
|
|
|
|
license = stdenv.lib.licenses.gpl2;
|
|
|
|
maintainers = [stdenv.lib.maintainers.marcweber];
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
|
|
|
};
|
|
|
|
}
|