# 
# makefile for package IDL directory
#

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

# create an idl file an assign its name to IDL
IDL	= worker.idl
IDL_EXPORT_SKELETON = worker.idl
# the default idl type is DCE/dice. Uncomment the next line to change this.
# IDL_TYPE= <your choice>

IDL_FLAGS = -t

ifneq ($(SENSOR),)
LIBDIR      = $(L4DIR)/lib/x86_586 \
              $(L4DIR)/lib
TRACELIB    = $(call findfile,libdice_trace.s.so,$(LIBDIR))
IDL_FLAGS   +=  -ftrace-lib=$(TRACELIB) --eventname=ORE_WORKER   \
                -ftrace-server -ftrace-client \
                --sensorname=DICE --cflow --maxpar=10 #--benchmark
endif

include $(L4DIR)/mk/idl.mk
