COMMENT "PIPOL Build : ${SYSTEM_PATTERN}"
COMMAND rsync ${pipol_user}@pipol.inria.fr:/usr/local/bin/pipol-sub .
COMMAND ./pipol-sub --pipol-user=${pipol_user} ${SYSTEM_PATTERN} 02:00 --reconnect --group --keep --verbose=1 --export=${CMAKE_HOME_DIRECTORY} --rsynco=-aC
- \"sudo mkdir -p \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
- sudo chown ${pipol_user} \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
- cd \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
+ \"sudo chown ${pipol_user} ${CMAKE_HOME_DIRECTORY} \;
+ cd ${CMAKE_HOME_DIRECTORY} \;
sh ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/liste_install.sh \;
- cmake -Denable_print_message=on -Denable_tracing=on -Denable_model-checking=on ${CMAKE_HOME_DIRECTORY} \;
+ cmake ${CMAKE_HOME_DIRECTORY} \;
make clean \;
make \;
make check \"
COMMENT "PIPOL Build : ${SYSTEM_PATTERN}_experimental"
COMMAND rsync ${pipol_user}@pipol.inria.fr:/usr/local/bin/pipol-sub .
COMMAND ./pipol-sub --pipol-user=${pipol_user} ${SYSTEM_PATTERN} 02:00 --reconnect --group --keep --verbose=1 --export=${CMAKE_HOME_DIRECTORY} --rsynco=-aC
- \"sudo mkdir -p \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
- sudo chown ${pipol_user} \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
- cd \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
+ \"sudo chown ${pipol_user} ${CMAKE_HOME_DIRECTORY} \;
+ cd ${CMAKE_HOME_DIRECTORY} \;
sh ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/liste_install.sh \;
- cmake -Denable_tracing=on -Denable_model-checking=on ${CMAKE_HOME_DIRECTORY} \;
+ cmake ${CMAKE_HOME_DIRECTORY} \;
ctest -D Experimental \"
)
COMMENT "PIPOL Build : ${SYSTEM_PATTERN}"
COMMAND rsync ${pipol_user}@pipol.inria.fr:/usr/local/bin/pipol-sub .
COMMAND ./pipol-sub --pipol-user=${pipol_user} ${SYSTEM_PATTERN} 02:00 --reconnect --group --keep --verbose=1 --export=${CMAKE_HOME_DIRECTORY} --rsynco=-aC
- \"sudo mkdir -p \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
- sudo chown ${pipol_user} \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
- cd \\\$$PIPOL_WDIR/${pipol_user}/${PROJECT_NAME} \;
+ \"sudo chown ${pipol_user} ${CMAKE_HOME_DIRECTORY} \;
+ cd ${CMAKE_HOME_DIRECTORY} \;
sh ${CMAKE_HOME_DIRECTORY}/buildtools/pipol/liste_install.sh \;
- cmake -Denable_tracing=on -Denable_model-checking=on ${CMAKE_HOME_DIRECTORY} \;
+ cmake ${CMAKE_HOME_DIRECTORY} \;
ctest -D Experimental \"
)
endif(NOT make_test)
sudo apt-get -y install liblua5.1-dev lua5.1
sudo apt-get -y install ruby1.8-dev ruby
sudo apt-get -y install unzip
+ sudo apt-get -y remove cmake
sudo apt-get -y install cmake
sudo apt-get -y install wget
fi
sudo yum -y install lua-devel lua
sudo yum -y install ruby-devel ruby
sudo yum -y install unzip
+ sudo yum -y remove cmake
sudo yum -y install cmake
sudo yum -y install wget
fi
sudo fink -y install lua51-dev lua51
sudo fink -y install ruby18-dev ruby
sudo fink -y install unzip
+ sudo fink -y remove cmake
sudo fink -y install cmake
sudo fink -y install wget
fi
echo "current version of cmake : $which_cmake_version"
echo "current version of cpack : $which_cpack_version"
echo "current version of ctest : $which_ctest_version"
-if [ "x$which_cmake_version" != "xcmake version 2.8.1" ] ; then
- if [ "x$which_cmake_version" != "xcmake version 2.8.2" ] ; then
- which_cmake=`which cmake`
- which_cpack=`which cpack`
- which_ctest=`which ctest`
- wget http://www.cmake.org/files/v2.8/cmake-2.8.2.tar.gz
- if [ -e ./cmake-2.8.2.tar.gz ]
- tar zxvf cmake-2.8.2.tar.gz > /dev/null
- cd ./cmake-2.8*/
- cmake . > /dev/null
- make -j > /dev/null 2>&1
- sudo ln -sf `pwd`/bin/cmake $which_cmake
- sudo ln -sf `pwd`/bin/cpack $which_cpack
- sudo ln -sf `pwd`/bin/ctest $which_ctest
+if [ "x$which_cmake_version" != "xcmake version 2.8.0" ] ; then
+ if [ "x$which_cmake_version" != "xcmake version 2.8.1" ] ; then
+ if [ "x$which_cmake_version" != "xcmake version 2.8.2" ] ; then
+ which_cmake=`which cmake`
+ which_cpack=`which cpack`
+ which_ctest=`which ctest`
+ wget http://www.cmake.org/files/v2.8/cmake-2.8.2.tar.gz
+ if [ -e ./cmake-2.8.2.tar.gz ] ; then
+ tar zxvf cmake-2.8.2.tar.gz
+ cd ./cmake-2.8.2/
+ cmake .
+ make -j
+ sudo ln -sf `pwd`/bin/cmake $which_cmake
+ sudo ln -sf `pwd`/bin/cpack $which_cpack
+ sudo ln -sf `pwd`/bin/ctest $which_ctest
+ fi
+ which_cmake_version=`cmake --version`
+ which_cpack_version=`cpack --version`
+ which_ctest_version=`ctest --version`
+ echo "new version of cmake : $which_cmake_version"
+ echo "new version of cpack : $which_cpack_version"
+ echo "new version of ctest : $which_ctest_version"
+ cd ..
fi
- which_cmake_version=`cmake --version`
- which_cpack_version=`cpack --version`
- which_ctest_version=`ctest --version`
- echo "new version of cmake : $which_cmake_version"
- echo "new version of cpack : $which_cpack_version"
- echo "new version of ctest : $which_ctest_version"
- cd ..
fi
fi
\ No newline at end of file