From e77c0e0f573fab956e5bcf4b5cd8ace3283ebd11 Mon Sep 17 00:00:00 2001 From: Orion Poplawski Date: Sat, 30 Mar 2019 19:32:43 -0600 Subject: [PATCH] Add profiles --- openmpi.yaml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/openmpi.yaml b/openmpi.yaml index aa7eee2..32437ce 100644 --- 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