diff options
Diffstat (limited to 'configuration.ccl')
-rw-r--r-- | configuration.ccl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configuration.ccl b/configuration.ccl index 1536fc5..7289990 100644 --- a/configuration.ccl +++ b/configuration.ccl @@ -4,5 +4,5 @@ PROVIDES MPI { SCRIPT configure.sh LANG bash - OPTIONS MPI OPENMPI_DIR OPENMPI_INSTALL_DIR OPENMPI_INC_DIRS OPENMPI_LIB_DIRS OPENMPI_LIBS + OPTIONS MPI OPENMPI_DIR OPENMPI_INC_DIRS OPENMPI_LIB_DIRS OPENMPI_LIBS OPENMPI_INSTALL_DIR } |