Triton: If generator=ninja set make=ninja

FNALssi · Nov 23, 2023 · a1b9229 · a1b9229
1 parent 62ccb34
commit a1b9229
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/packages/triton/package.py b/packages/triton/package.py
@@ -64,6 +64,10 @@ def build(self, pkg, spec):
         # external third-party bits (which we aren't building) in the
         # destination, so run an initial make that will fail, and then
         # clean them out
+        make = which("make")
+        if self.spec.variants['generator'].value == 'ninja':
+            make = which("ninja")
+
         with working_dir(self.build_directory):
             try:
                 make("cc-clients")