noinst_PROGRAMS = sendrecv/sendrecv \
suspend/suspend \
+ masterslave/masterslave_mailbox \
masterslave/masterslave_forwarder \
masterslave/masterslave_failure \
masterslave/masterslave_bypass \
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
# actions example
actions_actions_SOURCES = actions/actions.c
actions_actions_LDADD = $(top_builddir)/src/libsimgrid.la
+actions_actions_CFLAGS = -I$(top_builddir)/src/include
# migration example
migration_migration_SOURCES = migration/migration.c
masterslave_masterslave_forwarder_SOURCES = masterslave/masterslave_forwarder.c
masterslave_masterslave_forwarder_LDADD = $(top_builddir)/src/libsimgrid.la
+# master/slave application example using a mailboxes
+masterslave_masterslave_mailbox_SOURCES = masterslave/masterslave_mailbox.c
+masterslave_masterslave_mailbox_LDADD = $(top_builddir)/src/libsimgrid.la
+
# master/slave application example with failures
masterslave_masterslave_failure_SOURCES = masterslave/masterslave_failure.c
masterslave_masterslave_failure_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