Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
2 changed files with 35 additions and 0 deletions
Showing only changes of commit 1ffca6c9e0 - Show all commits

30
bsc/ovni/default.nix Normal file
View File

@@ -0,0 +1,30 @@
{
stdenv
, lib
, cmake
, mpi
, gitBranch ? "master"
, gitURL ? "ssh://git@gitlab-internal.bsc.es/nos-v/ovni.git"
, gitCommit ? "9c371d8c12ae4aed333bd7f90d0468603163ad6c"
# By default use debug
, enableDebug ? true
}:
with lib;
stdenv.mkDerivation rec {
pname = "ovni";
version = "${src.shortRev}";
buildInputs = [ cmake mpi ];
cmakeBuildType = if (enableDebug) then "Debug" else "Release";
dontStrip = true;
src = builtins.fetchGit ({
url = gitURL;
ref = gitBranch;
} // optionalAttrs (gitCommit != null) ({
rev = gitCommit;
}));
}

View File

@@ -184,6 +184,11 @@ let
};
cn6 = callPackage ./bsc/cn6/default.nix { };
ovni = callPackage ./bsc/ovni/default.nix { };
ovniKernel = callPackage ./bsc/ovni/default.nix {
gitBranch = "kernel-context-switch";
gitCommit = null;
};
# =================================================================
# MN4 specific