Merge pull request #147115 from Stunkymonkey/jdom-builder

This commit is contained in:
Sandro 2021-11-26 13:12:10 +01:00 committed by GitHub
commit 4d8ac78751
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 11 deletions

View file

@ -1,6 +0,0 @@
set -e
source $stdenv/setup
tar zxvf $src
mkdir -p $out
mv * $out

View file

@ -1,14 +1,18 @@
{lib, stdenv, fetchurl} :
{ lib, stdenv, fetchurl }:
stdenv.mkDerivation {
name = "jdom-1.0";
builder = ./builder.sh;
stdenv.mkDerivation rec {
pname = "jdom";
version = "1.0";
src = fetchurl {
url = "http://www.jdom.org/dist/binary/jdom-1.0.tar.gz";
url = "http://www.jdom.org/dist/binary/jdom-${version}.tar.gz";
sha256 = "1igmxzcy0s25zcy9vmcw0kd13lh60r0b4qg8lnp1jic33f427pxf";
};
buildCommand = ''
cp -r ./ $out
'';
meta = with lib; {
description = "Java-based solution for accessing, manipulating, and outputting XML data from Java code";
homepage = "http://www.jdom.org";