Add profiles

2019-03-30 19:32:43 -06:00 · 2019-03-30 19:32:43 -06:00 · e77c0e0f57
commit e77c0e0f57
parent 3c6c386df7
1 changed files with 7 additions and 0 deletions
--- a/openmpi.yaml
+++ b/openmpi.yaml
@ -22,6 +22,13 @@ data:
    community: https://www.open-mpi.org/
    documentation: https://www.open-mpi.org/doc/v2.1/
    tracker: https://github.com/open-mpi/ompi/issues
+  profiles:
+    default:
+      rpms:
+        - openmpi
+    buildroot:
+      rpms:
+        - openmpi-devel
  api:
    rpms:
    - openmpi