dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

opengrok: 0.12.1.5 -> 1.0

Browse Source 
Fix source tarball and version claim mismatch
This commit is contained in:
Renaud 2018-11-13 23:47:29 +01:00 committed by c0bw3b
parent de0763e870
commit 45923f698d
1 changed files with 6 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/tools/misc/opengrok/default.nix
View File

@ -1,30 +1,22 @@
{ fetchurl, stdenv, jre, ctags, makeWrapper, coreutils, git }: { stdenv, fetchurl, jre, ctags, makeWrapper, coreutils, git }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "opengrok-${version}"; name = "opengrok-${version}";
version = "1.0"; version = "1.0";
# 1.0 is the latest distributed as a .tar.gz file.
# Newer are distribued as .zip so a source build is required.
# if builded from source
#src = fetchurl {
# url = "https://github.com/OpenGrok/OpenGrok/archive/${version}.tar.gz";
# sha256 = "01r7ipnj915rnyxyqrnmjfagkip23q5lx9g787qb7qrnbvgfi118";
#};
# binary distribution # binary distribution
src = fetchurl { src = fetchurl {
url = https://github.com/OpenGrok/OpenGrok/files/213268/opengrok-0.12.1.5.tar.gz; url = "https://github.com/oracle/opengrok/releases/download/${version}/${name}.tar.gz";
sha256 = "1bafiq4s9sqldinl6fy931rm0x8zj2magfdlbi3nqlnidsghgkn3"; sha256 = "0h4rwfh8m41b7ij931gcbmkihri25m48373qf6ig0714s66xwc4i";
}; };
buildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];
installPhase = '' installPhase = ''
mkdir -p $out mkdir -p $out
cp -a * $out/ cp -a * $out/
substituteInPlace $out/bin/OpenGrok --replace /bin/uname ${coreutils}/bin/uname substituteInPlace $out/bin/OpenGrok --replace "/bin/uname" "${coreutils}/bin/uname"
substituteInPlace $out/bin/Messages --replace "#!/bin/ksh" "#!/bin/sh"
wrapProgram $out/bin/OpenGrok \ wrapProgram $out/bin/OpenGrok \
--prefix PATH : "${stdenv.lib.makeBinPath [ ctags git ]}" \ --prefix PATH : "${stdenv.lib.makeBinPath [ ctags git ]}" \
--set JAVA_HOME "${jre}" \ --set JAVA_HOME "${jre}" \