Makefile.am 622 Bytes
Newer Older
1 2 3
AADL_SOURCES = $(srcdir)/producer_consumer.aadl
AADL_ROOT    = pc_simple.native

yoogx's avatar
yoogx committed
4 5 6 7
OTHER_FILES = $(srcdir)/producer_consumer.adb	\
	  $(srcdir)/producer_consumer.ads

CLEANDIRS = pc_simple_native
8
CLEANFILES = *.lnt demo.svl
9 10 11

include $(srcdir)/../Makefile.common

yoogx's avatar
yoogx committed
12
AVAILABLE_TARGETS= parse-aadl real petri build_ada lnt stats
13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

# Note: we overwrite the "real" target to match this project specific
# constraints.

real:
	-$(OCARINA) $(OCARINA_FLAGS) -g real_theorem \
		-real_lib $(srcdir)/lib.real \
		-r $(AADL_ROOT) \
		$(AADL_SOURCES)

dump:
	-$(OCARINA) $(OCARINA_FLAGS) -i \
		-d  \
		-r $(AADL_ROOT) \
		$(AADL_SOURCES)