Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 5412e14dba - Show all commits

View File

@@ -38,6 +38,9 @@ in
stdenv.mkDerivation rec {
pname = "ovni";
inherit (source) src version;
postPatch = ''
patchShebangs --build test/
'';
buildInputs = [ cmake mpi ];
cmakeBuildType = if (enableDebug) then "Debug" else "Release";
cmakeFlags = [ "-DOVNI_GIT_COMMIT=${src.shortRev}" ];