-svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk --quiet
+git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
+cd simgrid
+
+perl ./buildtools/pipol/cmake.pl
+perl ./buildtools/pipol/ruby.pl
-#ucontext and pthread
-cmake -Denable_lua=on \
--Denable_ruby=on \
--Denable_lib_static=on \
--Denable_model-checking=off \
--Denable_tracing=on \
--Denable_latency_bound_tracking=off \
--Denable_gtnets=off \
--Denable_java=on \
+#MC
+cmake \
+-Denable_latency_bound_tracking=on \
+-Denable_gtnets=on \
+-Dgtnets_path=./gtnets_install \
+-Denable_coverage=on \
+-Denable_model-checking=on \
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest