diff --git a/Makefile.am b/Makefile.am index a0d68c3..7838b03 100644 --- a/Makefile.am +++ b/Makefile.am @@ -38,6 +38,7 @@ SUBDIRS += \ datarootdir = @datarootdir@ sharedir = $(pkgdatadir) +examplesdir = $(sharedir)/examples policiesdir = $(sharedir)/policies plugindir = $(sharedir)/plugins gladedir = $(sharedir)/glade @@ -572,7 +573,9 @@ noinst_DATA += \ src/testsuite/scheduling-wizards/wizard-complex-test \ src/testsuite/scheduling-wizards/wizard-priority-inversion-porno \ src/testsuite/scheduling-wizards/wizard-priority-preemption-fail \ - src/testsuite/scheduling-wizards/wizard-block-fail \ + src/testsuite/scheduling-wizards/wizard-block-fail + +examples_DATA = \ src/testsuite/scheduling-wizards/environments/Ducks_rr_2.xgp \ src/testsuite/scheduling-wizards/environments/FruitsBasket_complex.xgp \ src/testsuite/scheduling-wizards/environments/Fantozzi_lifo_requests.xgp \ @@ -587,5 +590,5 @@ noinst_DATA += \ src/testsuite/scheduling-wizards/environments/ScuolaDiMileto_gap_fail.xgp \ src/testsuite/scheduling-wizards/environments/DiscWorld_unblock.xgp -EXTRA_DIST += $(noinst_DATA) +EXTRA_DIST += $(noinst_DATA) $(examples_DATA)