l4/pkg/ferret/examples/monitors/l4lx_verify_tamed_mon/Makefile

   1 PKGDIR         ?= ../../..
   2 L4DIR          ?= $(PKGDIR)/../..
   3
   4 SYSTEMS         = x86-l4f
   5
   6 SRC_C           = main.c uu.c
   7
   8 DEFAULT_RELOC   = 0x006f0000
   9 TARGET          = fer_l4lx_vtm
  10
  11 MODE            = l4env_minimal
  12
  13 LIBS           += -lferret_monitor -lferret_consumer -lferret_util -ll4z    \
  14                   -lferret_comm -lferret_fpages -lferret_local_names
  15
  16 PRIVATE_INCDIR += $(PKGDIR_ABS)/examples/monitors/common
  17 vpath uu.c $(PKGDIR_ABS)/examples/monitors/common
  18
  19 include $(L4DIR)/mk/prog.mk