buildtools/Cmake/Distrib.cmake

   1 #########################################
   2 ### Fill in the "make install" target ###
   3 #########################################
   4
   5 # doc
   6 file(MAKE_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc/shared/doxygen/)
   7 file(MAKE_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc/ref_guide/html/)
   8 file(MAKE_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc/user_guide/html/)
   9
  10 install(DIRECTORY "${CMAKE_HOME_DIRECTORY}/doc/ref_guide/html/"
  11   DESTINATION "$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/doc/simgrid/ref_guide/html/"
  12   PATTERN ".svn" EXCLUDE
  13   PATTERN ".git" EXCLUDE
  14   PATTERN "*.o" EXCLUDE
  15   PATTERN "*~" EXCLUDE
  16   )
  17
  18 install(DIRECTORY "${CMAKE_HOME_DIRECTORY}/doc/user_guide/html/"
  19   DESTINATION "$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/doc/simgrid/user_guide/html/"
  20   PATTERN ".svn" EXCLUDE
  21   PATTERN ".git" EXCLUDE
  22   PATTERN "*.o" EXCLUDE
  23   PATTERN "*~" EXCLUDE
  24   )
  25
  26 #### Generate the manpages
  27 if(NOT WIN32)
  28   if( NOT MANPAGE_DIR)
  29     set( MANPAGE_DIR ${CMAKE_BINARY_DIR}/manpages )
  30   endif( NOT MANPAGE_DIR)
  31
  32   add_custom_target(manpages ALL
  33     COMMAND ${CMAKE_COMMAND} -E make_directory ${MANPAGE_DIR}
  34     COMMAND pod2man ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl > ${MANPAGE_DIR}/simgrid_update_xml.1
  35     COMMENT "Generating manpages"
  36     )
  37   install(FILES ${MANPAGE_DIR}/simgrid_update_xml.1
  38     DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/share/man/man1)
  39
  40 endif(NOT WIN32)
  41
  42 # binaries
  43 install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/smpicc
  44   ${CMAKE_BINARY_DIR}/bin/smpif2c
  45   ${CMAKE_BINARY_DIR}/bin/smpiff
  46   ${CMAKE_BINARY_DIR}/bin/smpirun
  47   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/)
  48
  49 install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/tesh
  50   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/)
  51
  52 install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/graphicator
  53   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/)
  54
  55 install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/MSG_visualization/colorize.pl
  56   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/
  57   RENAME simgrid-colorizer)
  58
  59 add_custom_target(simgrid-colorizer ALL
  60   COMMENT "Install ${CMAKE_BINARY_DIR}/bin/colorize"
  61   COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_HOME_DIRECTORY}/tools/MSG_visualization/colorize.pl ${CMAKE_BINARY_DIR}/bin/colorize
  62   )
  63
  64 install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl
  65   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/
  66   RENAME simgrid_update_xml)
  67
  68 add_custom_target(simgrid_update_xml ALL
  69   COMMENT "Install ${CMAKE_BINARY_DIR}/bin/simgrid_update_xml"
  70   COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl ${CMAKE_BINARY_DIR}/bin/simgrid_update_xml
  71   )
  72
  73 install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/gras_stub_generator
  74   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/)
  75
  76 # libraries
  77 install(TARGETS simgrid gras
  78   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/lib/)
  79
  80 if(enable_smpi)
  81   install(TARGETS smpi
  82     DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/lib/)
  83 endif(enable_smpi)
  84
  85 if(enable_lib_static AND NOT WIN32)
  86   install(TARGETS simgrid_static
  87     DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/lib/)
  88   if(enable_smpi)
  89     install(TARGETS smpi_static
  90       DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/lib/)
  91   endif(enable_smpi)
  92 endif(enable_lib_static AND NOT WIN32)
  93
  94 # include files
  95 set(HEADERS
  96   ${headers_to_install}
  97   ${generated_headers_to_install}
  98   )
  99 foreach(file ${HEADERS})
 100   get_filename_component(location ${file} PATH)
 101   string(REPLACE "${CMAKE_CURRENT_BINARY_DIR}/" "" location "${location}")
 102   install(FILES ${file}
 103     DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/${location})
 104 endforeach(file ${HEADERS})
 105
 106 # example files
 107 foreach(file ${examples_to_install})
 108   string(REPLACE "${CMAKE_CURRENT_SOURCE_DIR}/examples/" "" file ${file})
 109   get_filename_component(location ${file} PATH)
 110   install(FILES "examples/${file}"
 111     DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/doc/simgrid/examples/${location})
 112 endforeach(file ${examples_to_install})
 113
 114 # bindings cruft
 115
 116 if(HAVE_LUA)
 117   file(MAKE_DIRECTORY "${CMAKE_BINARY_DIR}/lib/lua/5.1")
 118   add_custom_target(simgrid_lua ALL
 119     DEPENDS simgrid
 120     ${CMAKE_BINARY_DIR}/lib/lua/5.1/simgrid.${LIB_EXE}
 121     )
 122   add_custom_command(
 123     OUTPUT ${CMAKE_BINARY_DIR}/lib/lua/5.1/simgrid.${LIB_EXE}
 124     COMMAND ${CMAKE_COMMAND} -E create_symlink ../../libsimgrid.${LIB_EXE} ${CMAKE_BINARY_DIR}/lib/lua/5.1/simgrid.${LIB_EXE}
 125     )
 126   install(FILES ${CMAKE_BINARY_DIR}/lib/lua/5.1/simgrid.${LIB_EXE}
 127     DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/lib/lua/5.1
 128     )
 129 endif(HAVE_LUA)
 130
 131 ###########################################
 132 ### Fill in the "make uninstall" target ###
 133 ###########################################
 134
 135 add_custom_target(uninstall
 136   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/doc/simgrid
 137   COMMAND ${CMAKE_COMMAND} -E   echo "uninstall doc ok"
 138   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/lib/libgras*
 139   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/lib/libsimgrid*
 140   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/lib/libsmpi*
 141   COMMAND ${CMAKE_COMMAND} -E   echo "uninstall lib ok"
 142   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/smpicc
 143   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/smpif2c
 144   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/smpiff
 145   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/smpirun
 146   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/tesh
 147   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/simgrid-colorizer
 148   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/simgrid_update_xml
 149   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/gras_stub_generator
 150   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/bin/graphicator
 151   COMMAND ${CMAKE_COMMAND} -E   echo "uninstall bin ok"
 152   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/amok
 153   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/gras
 154   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/instr
 155   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/msg
 156   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/simdag
 157   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/smpi
 158   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/simix
 159   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/surf
 160   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/xbt
 161   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/mc
 162   COMMAND ${CMAKE_COMMAND} -E   remove_directory ${CMAKE_INSTALL_PREFIX}/include/simgrid
 163   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/include/simgrid_config.h
 164   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/include/gras.h
 165   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/include/xbt.h
 166   COMMAND ${CMAKE_COMMAND} -E   echo "uninstall include ok"
 167   COMMAND ${CMAKE_COMMAND} -E   remove -f ${CMAKE_INSTALL_PREFIX}/share/man/man1/simgrid_update_xml.1
 168   COMMAND ${CMAKE_COMMAND} -E   echo "uninstall man ok"
 169   WORKING_DIRECTORY "${CMAKE_INSTALL_PREFIX}"
 170   )
 171
 172 if(HAVE_LUA)
 173   add_custom_command(TARGET uninstall
 174     COMMAND ${CMAKE_COMMAND} -E echo "uninstall binding lua ok"
 175     COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_INSTALL_PREFIX}/lib/lua/5.1/simgrid.${LIB_EXE}
 176     WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}/"
 177     )
 178 endif(HAVE_LUA)
 179
 180 ################################################################
 181 ## Build a sain "make dist" target to build a source package ###
 182 ##   containing only the files that I explicitely state      ###
 183 ##   (instead of any cruft laying on my disk as CPack does)  ###
 184 ################################################################
 185
 186 # This is the complete list of what will be added to the source archive
 187 set(source_to_pack
 188   ${headers_to_install}
 189   ${source_of_generated_headers}
 190   ${XBT_RL_SRC}
 191   ${EXTRA_DIST}
 192   ${SMPI_SRC}
 193   ${GRAS_RL_SRC}
 194   ${XBT_SRC}
 195   ${GTNETS_SRC}
 196   ${NS3_SRC}
 197   ${SURF_SRC}
 198   ${SIMIX_SRC}
 199   ${TRACING_SRC}
 200   ${MSG_SRC}
 201   ${SIMDAG_SRC}
 202   ${GRAS_COMMON_SRC}
 203   ${GRAS_SG_SRC}
 204   ${AMOK_SRC}
 205   ${LUA_SRC}
 206   ${MC_SRC}
 207   ${JEDULE_SRC}
 208   ${RNGSTREAM_SRC}
 209   ${BINDINGS_FILES}
 210   ${CMAKE_SOURCE_FILES}
 211   ${EXAMPLES_CMAKEFILES_TXT}
 212   ${TESHSUITE_CMAKEFILES_TXT}
 213   ${TOOLS_CMAKEFILES_TXT}
 214   ${TESTSUITE_CMAKEFILES_TXT}
 215   ${DOC_SOURCES}
 216   ${USER_GUIDE_SOURCES}
 217   ${REF_GUIDE_SOURCES}
 218   ${DOC_FIGS}
 219   ${README_files}
 220   ${xml_files}
 221   ${tesh_files}
 222   ${txt_files}
 223   ${bin_files}
 224   ${examples_src}
 225   ${teshsuite_src}
 226   ${tools_src}
 227   ${testsuite_src}
 228   ${PLATFORMS_EXAMPLES}
 229   )
 230
 231 ##########################################
 232 ### Fill in the "make dist-dir" target ###
 233 ##########################################
 234
 235 add_custom_target(dist-dir
 236   COMMENT "Generating the distribution directory"
 237   COMMAND ${CMAKE_COMMAND} -E remove_directory ${PROJECT_NAME}-${release_version}/
 238   COMMAND ${CMAKE_COMMAND} -E remove ${PROJECT_NAME}-${release_version}.tar.gz
 239   COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_NAME}-${release_version}
 240   COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_NAME}-${release_version}/doc/user_guide/html/
 241   COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_NAME}-${release_version}/doc/ref_guide/html/
 242   COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_HOME_DIRECTORY}/doc/user_guide/html/ ${PROJECT_NAME}-${release_version}/doc/user_guide/html/
 243   COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_HOME_DIRECTORY}/doc/ref_guide/html/ ${PROJECT_NAME}-${release_version}/doc/ref_guide/html/
 244   )
 245 add_dependencies(dist-dir simgrid_documentation)
 246 add_dependencies(dist-dir maintainer_files)
 247
 248 set(dirs_in_tarball "")
 249 foreach(file ${source_to_pack})
 250   #message(${file})
 251   # This damn prefix is still set somewhere (seems to be in subdirs)
 252   string(REPLACE "${CMAKE_HOME_DIRECTORY}/" "" file "${file}")
 253
 254   # Create the directory on need
 255   get_filename_component(file_location ${file} PATH)
 256   string(REGEX MATCH ";${file_location};" OPERATION "${dirs_in_tarball}")
 257   if(NOT OPERATION)
 258     set(dirs_in_tarball "${dirs_in_tarball};${file_location};")
 259     add_custom_command(
 260       TARGET dist-dir
 261       COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_NAME}-${release_version}/${file_location}/
 262       )
 263   endif(NOT OPERATION)
 264
 265   # Actually copy the file
 266   add_custom_command(
 267     TARGET dist-dir
 268     COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_HOME_DIRECTORY}/${file} ${PROJECT_NAME}-${release_version}/${file_location}/
 269     )
 270
 271   add_custom_command(
 272     TARGET dist-dir
 273     COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_HOME_DIRECTORY}/buildtools/Cmake/Scripts/Makefile.default ${PROJECT_NAME}-${release_version}/Makefile
 274     )
 275 endforeach(file ${source_to_pack})
 276
 277 ######################################
 278 ### Fill in the "make dist" target ###
 279 ######################################
 280
 281 add_custom_target(dist
 282   COMMENT "Removing the distribution directory"
 283   DEPENDS ${CMAKE_BINARY_DIR}/${PROJECT_NAME}-${release_version}.tar.gz
 284   COMMAND ${CMAKE_COMMAND} -E remove_directory ${PROJECT_NAME}-${release_version}/
 285   )
 286
 287 add_custom_command(
 288   OUTPUT ${CMAKE_BINARY_DIR}/${PROJECT_NAME}-${release_version}.tar.gz
 289   COMMENT "Compressing the archive from the distribution directory"
 290   COMMAND ${CMAKE_COMMAND} -E tar cf ${PROJECT_NAME}-${release_version}.tar ${PROJECT_NAME}-${release_version}/
 291   COMMAND gzip -9v ${PROJECT_NAME}-${release_version}.tar
 292   COMMAND ${CMAKE_COMMAND} -E remove_directory ${PROJECT_NAME}-${release_version}/
 293   )
 294 add_dependencies(dist dist-dir)
 295
 296 if(NOT enable_maintainer_mode)
 297   add_custom_target(echo-dist
 298     COMMAND ${CMAKE_COMMAND} -E echo "WARNING: ----------------------------------------------------"
 299     COMMAND ${CMAKE_COMMAND} -E echo "WARNING: Distrib is generated without option maintainer mode "
 300     COMMAND ${CMAKE_COMMAND} -E echo "WARNING: ----------------------------------------------------"
 301     )
 302   add_dependencies(dist echo-dist)
 303 endif(NOT enable_maintainer_mode)
 304
 305 ###########################################
 306 ### Fill in the "make distcheck" target ###
 307 ###########################################
 308
 309 set(CMAKE_BINARY_TEST_DIR ${CMAKE_BINARY_DIR})
 310
 311 # Allow to test the "make dist"
 312 add_custom_target(distcheck
 313   COMMAND ${CMAKE_COMMAND} -E echo "XXX remove old copy"
 314   COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}
 315
 316   COMMAND ${CMAKE_COMMAND} -E echo "XXX Untar distrib"
 317   COMMAND ${CMAKE_COMMAND} -E tar  xf ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}.tar.gz ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}
 318
 319   COMMAND ${CMAKE_COMMAND} -E echo "XXX create build and install subtrees"
 320   COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_build
 321   COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_inst
 322
 323   COMMAND ${CMAKE_COMMAND} -E echo "XXX Configure"
 324   COMMAND ${CMAKE_COMMAND} -E chdir ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_build
 325   ${CMAKE_COMMAND}
 326   -DCMAKE_INSTALL_PREFIX=${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_inst
 327   -Denable_lua=ON
 328   -Denable_model-checking=ON
 329   ..
 330   COMMAND ${CMAKE_COMMAND} -E echo "XXX Build"
 331   COMMAND ${CMAKE_COMMAND} -E chdir ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_build ${CMAKE_MAKE_PROGRAM}
 332
 333   COMMAND ${CMAKE_COMMAND} -E echo "XXX Test"
 334   COMMAND ${CMAKE_COMMAND} -E chdir ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_build ctest || true
 335
 336   COMMAND ${CMAKE_COMMAND} -E echo "XXX Install"
 337   COMMAND ${CMAKE_COMMAND} -E chdir ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_build ${CMAKE_MAKE_PROGRAM} install
 338   COMMAND ${CMAKE_COMMAND} -E create_symlink
 339   ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_inst/lib/libsimgrid.so
 340   ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_inst/lib/libsimgridtest.so
 341
 342   COMMAND ${CMAKE_COMMAND} -E echo "XXX Remove temp directories"
 343   COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}
 344   )
 345 #add_dependencies(distcheck dist)
 346
 347 #######################################
 348 ### Fill in the "make check" target ###
 349 #######################################
 350
 351 if(enable_memcheck)
 352   add_custom_target(check
 353     COMMAND ctest -D ExperimentalMemCheck
 354     )
 355 else(enable_memcheck)
 356   add_custom_target(check
 357     COMMAND make test
 358     )
 359 endif(enable_memcheck)
 360
 361 #######################################
 362 ### Fill in the "make xxx-clean" target ###
 363 #######################################
 364
 365 add_custom_target(maintainer-clean
 366   COMMAND ${CMAKE_COMMAND} -E remove -f src/config_unit.c
 367   COMMAND ${CMAKE_COMMAND} -E remove -f src/cunit_unit.c
 368   COMMAND ${CMAKE_COMMAND} -E remove -f src/dict_unit.c
 369   COMMAND ${CMAKE_COMMAND} -E remove -f src/dynar_unit.c
 370   COMMAND ${CMAKE_COMMAND} -E remove -f src/ex_unit.c
 371   COMMAND ${CMAKE_COMMAND} -E remove -f src/set_unit.c
 372   COMMAND ${CMAKE_COMMAND} -E remove -f src/simgrid_units_main.c
 373   COMMAND ${CMAKE_COMMAND} -E remove -f src/swag_unit.c
 374   COMMAND ${CMAKE_COMMAND} -E remove -f src/xbt_sha_unit.c
 375   COMMAND ${CMAKE_COMMAND} -E remove -f src/xbt_str_unit.c
 376   COMMAND ${CMAKE_COMMAND} -E remove -f src/xbt_strbuff_unit.c
 377   COMMAND ${CMAKE_COMMAND} -E remove -f src/xbt_synchro_unit.c
 378   WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}"
 379   )
 380
 381 add_custom_target(supernovae-clean
 382   COMMAND ${CMAKE_COMMAND} -E remove -f src/supernovae_gras.c
 383   COMMAND ${CMAKE_COMMAND} -E remove -f src/supernovae_sg.c
 384   COMMAND ${CMAKE_COMMAND} -E remove -f src/supernovae_smpi.c
 385   WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}"
 386   )
 387
 388 #############################################
 389 ### Fill in the "make sync-gforge" target ###
 390 #############################################
 391
 392 #PIPOL
 393 add_custom_target(sync-pipol
 394   COMMAND scp -r Experimental_bindings.sh Experimental.sh  MemCheck.sh pre-simgrid.sh navarro@pipol.inria.fr:~/
 395   COMMAND scp -r rc.* navarro@pipol.inria.fr:~/.pipol/
 396   COMMAND scp -r Nightly* navarro@pipol.inria.fr:~/.pipol/nightly
 397   COMMAND ssh navarro@pipol.inria.fr "chmod a=rwx ~/* ~/.pipol/rc.* ~/.pipol/nightly/*"
 398   WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}/buildtools/pipol/"
 399   )
 400
 401 include(CPack)