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

TARGET		= liboskit10_support_l4env_freebsd.o.a \
		  liboskit10_support_l4env_freebsd_dev.a
MODE		= l4env_freebsd
SYSTEMS		= x86-l4v2 x86-l4x0

SRC_C_liboskit10_support_l4env_freebsd.o.a = \
		  abort.c base_cpu_init.c base_cpu_load.c base_idt_load.c \
		  base_multiboot_init_mem.c base_multiboot_main.c console.c \
		  exit.c extra.c irq.c lock.c mem.c sigma0.c \
		  stack_trace.c timer.c sleep.c error.c
CFLAGS		= -ffunction-sections

LIBOSKITDEV	= $(word 1, $(wildcard \
		    $(L4DIR)/../oskit10/lib/liboskit_dev.a \
		    $(DROPS_STDDIR)/lib/oskit10/liboskit_dev.a))

LIBOSKITDEV_NOT	= mem.o timer.o timer_pit.o irq.o sleep.o stack_trace.o pd.o
LIBOSKITDEV_OBJ	= $(filter-out $(LIBOSKITDEV_NOT),\
		    $(shell $(AR) t $(LIBOSKITDEV)))

OBJS_liboskit10_support_l4env_freebsd_dev.a = \
		   $(LIBOSKITDEV_OBJ)

include $(L4DIR)/mk/lib.mk

ifeq ($(LIBOSKITDEV),)
$(warning The OSKit 1.0 library "liboskit_dev.a" was not found in)
$(warning * OSKIT10DIR/lib   = $(L4DIR)../oskit10/lib)
$(warning * DROPS_STDDIR/lib = $(DROPS_STDDIR)/lib)
$(error Please fix DROPS_STDDIR and/or OSKIT10DIR)
endif

$(LIBOSKITDEV_OBJ): $(LIBOSKITDEV)
	$(VERBOSE)$(AR) x $(LIBOSKITDEV) $@

