Kill the comments intending to explain which part of the autotools were converted...

[simgrid.git] / examples / msg / Makefile.am

diff --git a/examples/msg/Makefile.am b/examples/msg/Makefile.am
index 9bc9b61..aae1c9e 100644 (file)
--- a/examples/msg/Makefile.am
+++ b/examples/msg/Makefile.am
@@ -40,7 +40,8 @@ EXTRA_DIST = msg_platform.xml \
              trace/test8.xml \
              trace/test9.xml \
              trace/test10.xml \
              trace/test8.xml \
              trace/test9.xml \
              trace/test10.xml \

-             trace/test11.xml
+             trace/test11.xml \
+            fafard_state.trace jupiter_state.trace link5_state.trace

 
 
 TESTS_ENVIRONMENT = $(top_builddir)/tools/tesh/tesh
 
 
 TESTS_ENVIRONMENT = $(top_builddir)/tools/tesh/tesh


@@ -88,6 +89,7 @@ endif
 
 noinst_PROGRAMS = sendrecv/sendrecv \
                   suspend/suspend \
 
 noinst_PROGRAMS = sendrecv/sendrecv \
                   suspend/suspend \

+                  masterslave/masterslave_mailbox \

                   masterslave/masterslave_forwarder \
                   masterslave/masterslave_failure \
                   masterslave/masterslave_bypass \
                   masterslave/masterslave_forwarder \
                   masterslave/masterslave_failure \
                   masterslave/masterslave_bypass \


@@ -97,7 +99,10 @@ noinst_PROGRAMS = sendrecv/sendrecv \
                   priority/priority \
                   properties/msg_prop \
                   actions/actions \
                   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
 
 if HAVE_GTNETS
   noinst_PROGRAMS += gtnets/gtnets


@@ -111,6 +116,7 @@ properties_msg_prop_LDADD   = $(top_builddir)/src/libsimgrid.la
 # actions example
 actions_actions_SOURCES = actions/actions.c
 actions_actions_LDADD   = $(top_builddir)/src/libsimgrid.la
 # 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
 
 # migration example
 migration_migration_SOURCES = migration/migration.c


@@ -139,6 +145,10 @@ priority_priority_LDADD   = $(top_builddir)/src/libsimgrid.la
 masterslave_masterslave_forwarder_SOURCES = masterslave/masterslave_forwarder.c
 masterslave_masterslave_forwarder_LDADD   = $(top_builddir)/src/libsimgrid.la
 
 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
 # master/slave application example with failures
 masterslave_masterslave_failure_SOURCES = masterslave/masterslave_failure.c
 masterslave_masterslave_failure_LDADD   = $(top_builddir)/src/libsimgrid.la


@@ -151,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
 
 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
 # verify if the GTNETS feature is working
 if HAVE_GTNETS
 gtnets_gtnets_SOURCES  = gtnets/gtnets.c