foreach(x actions-comm actions-storage app-masterworker app-pingpong app-pmm app-token-ring async-wait async-waitall
async-waitany cloud-capping cloud-masterworker cloud-migration cloud-multicore cloud-simple
cloud-two-tasks dht-chord dht-pastry energy-consumption energy-onoff energy-pstate energy-ptask energy-vm
- platform-failures io-file io-remote io-storage task-priority process-kill process-migration
+ platform-failures io-file io-remote io-storage task-priority process-create process-kill process-migration
process-suspend platform-properties maestro-set process-startkilltime synchro-semaphore trace-categories
trace-link-srcdst-user-variables trace-link-user-variables trace-masterworker trace-platform
- trace-process-migration trace-simple trace-user-variables)
+ trace-process-migration trace-user-variables)
add_executable (${x} ${x}/${x}.c)
target_link_libraries(${x} simgrid)
set_target_properties(${x} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${x})
Once you're done, you must run "make distcheck" to ensure that you did not forget to add any file to the distributed
archives. This ensures that everything was commited correctly, so you have to first commit before running
"make distcheck". If you forgot something, you want to "git commit --amend". But never amend a commit that you already
-pushed to public repositories! Do a second commit in that case.
+pushed to public repositories, or you'll break the checkouts of your fellow co-workers! Do a second commit in that case.
*/
