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)
set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_smpi=on")
endif(enable_smpi)
- if(enable_java)
- set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_java=on")
- endif(enable_java)
-
if(enable_lua)
set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_lua=on")
endif(enable_lua)
- if(enable_ruby)
- set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_ruby=on")
- endif(enable_ruby)
-
if(enable_compile_optimizations)
set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_compile_optimizations=on")
endif(enable_compile_optimizations)
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)
MESSAGE(STATUS "Pipol user is ${pipol_user}")
IF(HAVE_SSH)
+ message(STATUS "Found ssh: ${HAVE_SSH}")
# get pipol systems
EXECUTE_PROCESS(COMMAND
ssh ${pipol_user}@pipol.inria.fr pipol-sub --query=systems
OUTPUT_VARIABLE PIPOL_SYSTEMS OUTPUT_STRIP_TRAILING_WHITESPACE)
+
ENDIF(HAVE_SSH)
ADD_CUSTOM_TARGET(pipol_test_list_images
)
IF(HAVE_RSYNC)
-
+ message(STATUS "Found rsync: ${HAVE_RSYNC}")
MACRO(PIPOL_TARGET
SYSTEM_PATTERN)
STRING(REPLACE ".dd.gz" "" SYSTEM_TARGET ${SYSTEM_PATTERN})
\"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
+ )
+
+message(STATUS "Pipol options: ${CMAKE_OPTIONS}")
+
ENDIF(pipol_user)
\ No newline at end of file