Update sonar to 0.2.0 and use GitHub

Reviewed-By: Aleix Roca Nonell <aleix.rocanonell@bsc.es>
This commit is contained in:
Rodrigo Arias 2023-10-20 17:26:38 +02:00
parent 91cdc91738
commit 51e331a9d9

View File

@ -1,17 +1,19 @@
{ {
stdenv stdenv
, autoreconfHook , autoreconfHook
, fetchFromGitHub
, ovni , ovni
, mpi , mpi
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "sonar"; pname = "sonar";
version = "0.1.0"; version = "0.2.0";
src = builtins.fetchGit { src = fetchFromGitHub {
url = "ssh://git@bscpm03.bsc.es/ovni/sonar"; owner = "bsc-pm";
ref = "refs/tags/${version}"; repo = "sonar";
rev = "1299731b56addc18f530f7327f62267624c4363a"; rev = "${version}";
sha256 = "sha256-iQSw4PbFk0EALXPHpLBPPQ7U8Ed8fkez1uG9MuF6PJo=";
}; };
hardeningDisable = [ "all" ]; hardeningDisable = [ "all" ];
dontStrip = true; dontStrip = true;