## Process this file with automake to produce Makefile.in

AUTOMAKE_OPTIONS=foreign

SCHED_SOURCE = $(top_srcdir)/kernel/sched.c
MAKE_HEADER = $(top_srcdir)/utils/make-header.py

SUBDIRS = arch i386

noinst_HEADERS = \
	bsyscalls_if.h \
	debug_defs.h \
	dmem_if.h \
	dtrace.h \
	dynproc.h \
	inlining.h \
	mobproc.h \
	mwsync.h \
	rts.h \
	sched_consts.h \
	sched_types.h \
	typedesc.h \
	ukcthreads_types.h

all-local: kitable.h calltable.h ccsp_cif_stubs.h

kitable.h: $(SCHED_SOURCE) $(MAKE_HEADER)
	python $(MAKE_HEADER) --kitable kitable.h $(top_srcdir)/config.h $(SCHED_SOURCE)

calltable.h: $(SCHED_SOURCE) $(MAKE_HEADER)
	python $(MAKE_HEADER) --calltable calltable.h $(top_srcdir)/config.h $(SCHED_SOURCE)

ccsp_cif_stubs.h: $(SCHED_SOURCE) $(MAKE_HEADER)
	python $(MAKE_HEADER) --cif ccsp_cif_stubs.h $(top_srcdir)/config.h $(SCHED_SOURCE)

DISTCLEANFILES= kitable.h calltable.h ccsp_cif_stubs.h

