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 a2923c9..1536fc5 100644 --- a/configuration.ccl +++ b/configuration.ccl @@ -4,5 +4,5 @@ PROVIDES MPI { SCRIPT configure.sh LANG bash - OPTIONS MPI OPENMPI_DIR OPENMPI_INC_DIRS OPENMPI_LIB_DIRS OPENMPI_LIBS + OPTIONS MPI OPENMPI_DIR OPENMPI_INSTALL_DIR OPENMPI_INC_DIRS OPENMPI_LIB_DIRS OPENMPI_LIBS } |