Archived
1
0
forked from rarias/bscpkgs

Add ovni to OpenMP-V

Allows building OpenMP-V with ovni support, which is neccessary to run
the runtime tests of OpenMP-V in ovni.

Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>
Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Tested-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
This commit is contained in:
Raúl Peñacoba
2024-01-12 17:28:22 +01:00
committed by Rodrigo Arias Mallo
parent c4d5135fde
commit 3b21a32d83
2 changed files with 7 additions and 1 deletions

View File

@@ -9,10 +9,14 @@
, pkg-config
, version
, nosv
, ovni
, enableNosv ? false
, enableDebug ? false
, enableOvni ? false
}:
assert enableOvni -> enableNosv;
let
stdenv = llvmPackages_latest.stdenv;
in
@@ -35,6 +39,8 @@ stdenv.mkDerivation rec {
pkg-config
] ++ lib.optionals enableNosv [
nosv
] ++ lib.optionals enableOvni [
ovni
];
doCheck = false;