1 export MakeInc_cmd=${SRCROOT}/makedefs/MakeInc.cmd
2 export MakeInc_def=${SRCROOT}/makedefs/MakeInc.def
3 export MakeInc_rule=${SRCROOT}/makedefs/MakeInc.rule
4 export MakeInc_dir=${SRCROOT}/makedefs/MakeInc.dir
16 # MIG-generated headers that are traditionally used by user
23 MIGINCLUDES = ${MIG_UUHDRS} ${MIG_USHDRS}
26 ipc_pthread_priority_types.h \
33 INSTALL_KF_MI_LIST = \
36 INSTALL_KF_MI_LCL_LIST = \
41 INSTALL_MI_DIR = voucher
46 EXPORT_MI_GEN_LIST = \
49 EXPORT_MI_DIR = voucher
51 ${MIGINCLUDES} : ${MIG_TYPES}
55 @echo "$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0)"
56 $(_v)$(MIG) $(MIGFLAGS) \
64 @echo "$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0)"
65 $(_v)$(MIG) $(MIGFLAGS) \
76 INCFLAGS_MAKEFILE= -I..
78 MIGKSFLAGS = -DMACH_KERNEL_PRIVATE -DKERNEL_SERVER=1
79 MIGKUFLAGS = -DMACH_KERNEL_PRIVATE -DKERNEL_USER=1 -maxonstack 1024
81 # MIG-generated headers that are traditionally used by kernel
92 COMP_FILES = ${MIG_KUSRC} ${MIG_KSSRC}
94 do_build_all:: $(COMP_FILES)
96 ${COMP_FILES} : ${MIG_TYPES}
100 @echo "$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0)"
101 $(_v)${MIG} ${MIGFLAGS} ${MIGKUFLAGS} \
110 @echo "$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0)"
111 $(_v)${MIG} ${MIGFLAGS} ${MIGKSFLAGS} \
114 -server $*_server.c \
115 -sheader $*_server.h \
118 include $(MakeInc_rule)
119 include $(MakeInc_dir)