# 
# makefile for package IDL directory
#

PKGDIR ?= ..
L4DIR  ?= $(PKGDIR)/../..

# create an idl file an assign its name to IDL
IDL	= ore_manager.idl ore_rxtx.idl ore_notify.idl
SYSTEMS = x86-l4v2 x86-l4x0

IDL_EXPORT_SKELETON = ore_notify.idl ore_manager.idl ore_rxtx.idl
# the default idl type is DCE/dice. Uncomment the next line to change this.
# IDL_TYPE= <your choice>

LIBDIR		= $(O)/lib/x86_586 \
			  $(O)/lib
TRACELIB	= $(call findfile,libdice_trace.s.so,$(LIBDIR))
IDL_FLAGS = -t #-ftrace-lib=$(TRACELIB) -ftrace-server

ifneq ($(SENSOR),)
LIBDIR      = $(O)/lib/x86_586 \
              $(O)/lib
TRACELIB    = $(call findfile,libdice_trace.s.so,$(LIBDIR))
IDL_FLAGS   +=  -ftrace-lib=$(TRACELIB) --eventname=ORE   \
                -ftrace-server -ftrace-client \
                --sensorname=FERRET_DICE --cflow
endif

include $(L4DIR)/mk/idl.mk
