X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/28da5067e7d2ef21f2c2a04dd88ce566fe8aaa39..b24c14fba1046bbf5577d5b0ab1fe47b2af69a0d:/examples/msg/Makefile.am

diff --git a/examples/msg/Makefile.am b/examples/msg/Makefile.am
index 6e1382c76e..aae1c9eac5 100644
--- a/examples/msg/Makefile.am
+++ b/examples/msg/Makefile.am
@@ -99,7 +99,10 @@ noinst_PROGRAMS = sendrecv/sendrecv \
                   priority/priority \
                   properties/msg_prop \
                   actions/actions \
-                  trace/test_trace_integration
+                  trace/test_trace_integration \
+		  mc/centralized \
+		  mc/bugged1 \
+		  mc/bugged2
 
 if HAVE_GTNETS
   noinst_PROGRAMS += gtnets/gtnets
@@ -158,6 +161,19 @@ masterslave_masterslave_bypass_LDADD   = $(top_builddir)/src/libsimgrid.la
 trace_test_trace_integration_SOURCES = trace/test_trace_integration.c
 trace_test_trace_integration_LDADD   = $(top_builddir)/src/libsimgrid.la
 
+# Model-checking examples
+mc_centralized_SOURCES = mc/centralized_mutex.c
+mc_centralized_LDADD = $(top_builddir)/src/libsimgrid.la
+
+# bugged example 1
+mc_bugged1_SOURCES = mc/bugged1.c
+mc_bugged1_LDADD = $(top_builddir)/src/libsimgrid.la
+
+# bugged example 2
+mc_bugged2_SOURCES = mc/bugged2.c
+mc_bugged2_LDADD = $(top_builddir)/src/libsimgrid.la
+
+
 # verify if the GTNETS feature is working
 if HAVE_GTNETS
 gtnets_gtnets_SOURCES  = gtnets/gtnets.c