Skip to content
Snippets Groups Projects
Commit 8f11894f authored by Stéphane Del Pino's avatar Stéphane Del Pino
Browse files

Fix configuration if slurm is not detected

parent 5e5fba1e
Branches
Tags
1 merge request!199Integrate checkpointing
...@@ -253,6 +253,8 @@ set(PUGS_HAS_SLURM ${SLURM_FOUND}) ...@@ -253,6 +253,8 @@ set(PUGS_HAS_SLURM ${SLURM_FOUND})
if (${SLURM_FOUND}) if (${SLURM_FOUND})
include_directories(SYSTEM "${SLURM_INCLUDE_DIR}") include_directories(SYSTEM "${SLURM_INCLUDE_DIR}")
else()
set(SLURM_LIBRARY "")
endif() endif()
#------------------------------------------------------ #------------------------------------------------------
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment