set(CMAKE_OPTIONS " -Wno-dev")
if(custom_flags)
- set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Dcustom_flags=${custom_flags}")
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Dcustom_flags=${custom_flags}")
endif(custom_flags)
if(with_context)
- set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Dwith_context=${with_context}")
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Dwith_context=${with_context}")
endif(with_context)
if(enable_smpi)
if(enable_model-checking)
set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_model-checking=on")
endif(enable_model-checking)
+
+ if(enable_latency_bound_tracking)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_latency_bound_tracking=on")
+ endif(enable_latency_bound_tracking)
FIND_PROGRAM(HAVE_SSH ssh)
FIND_PROGRAM(HAVE_RSYNC rsync)
\"sudo chown ${pipol_user} ${CMAKE_HOME_DIRECTORY} \;
cd ${CMAKE_HOME_DIRECTORY} \;
sh ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/liste_install.sh \;
- perl ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/cmake.pl \;
cmake -E remove CMakeCache.txt \;
cmake ${CMAKE_HOME_DIRECTORY}${CMAKE_OPTIONS} \;
make clean \;
\"sudo chown ${pipol_user} ${CMAKE_HOME_DIRECTORY} \;
cd ${CMAKE_HOME_DIRECTORY} \;
sh ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/liste_install.sh \;
- perl ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/cmake.pl \;
cmake -E remove CMakeCache.txt \;
cmake ${CMAKE_HOME_DIRECTORY}${CMAKE_OPTIONS} \;
ctest -D Experimental \"
\"sudo chown ${pipol_user} ${CMAKE_HOME_DIRECTORY} \;
cd ${CMAKE_HOME_DIRECTORY} \;
sh ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/liste_install.sh \;
- perl ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/cmake.pl \;
cmake -E remove CMakeCache.txt \;
cmake ${CMAKE_HOME_DIRECTORY}${CMAKE_OPTIONS} \;
ctest -D Experimental \"
ENDFOREACH(SYSTEM ${PIPOL_SYSTEMS})
ENDIF(PIPOL_SYSTEMS)
+ADD_CUSTOM_TARGET(pipol_kill_all_jobs
+ COMMENT "PIPOL delete all jobs"
+ COMMAND ./pipol-sub --pipol-user=${pipol_user} deleteallmyjobs
+ )
+
+
ENDIF(pipol_user)
\ No newline at end of file