Skip to content
Snippets Groups Projects
Commit acfee2dc authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Storing MPIEXEC in Portfile

parent 9d18cc09
No related branches found
No related tags found
No related merge requests found
......@@ -65,6 +65,11 @@ mpi.setup
# To enable mpi, replace a configure flag
if {[mpi_variant_isset]} {
configure.args-replace --disable-mpi --enable-mpi
# command should be included in a pre-configure block to access properly the mpi.exec variable
pre-configure {
# MPIEXEC is stored so that it can be used to perform tests
configure.args-append MPIEXEC="${mpi.exec}"
}
}
# Libraries.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment