1# $FreeBSD$ 2 3# Options set in the build system that affect the kernel somehow. 4 5# 6# Define MK_* variables (which are either "yes" or "no") for users 7# to set via WITH_*/WITHOUT_* in /etc/src.conf and override in the 8# make(1) environment. 9# These should be tested with `== "no"' or `!= "no"' in makefiles. 10# The NO_* variables should only be set by makefiles for variables 11# that haven't been converted over. 12# 13 14# These options are used by the kernel build process (kern.mk and kmod.mk) 15# They have to be listed here so we can build modules outside of the 16# src tree. 17 18__DEFAULT_YES_OPTIONS = \ 19 FORMAT_EXTENSIONS \ 20 KERNEL_SYMBOLS 21 22__DEFAULT_NO_OPTIONS = \ 23 24# Kludge to allow a less painful transition. If MAKESYSPATH isn't defined, 25# assume we have a standard FreeBSD src tree layout and reach over and grab 26# bsd.mkopt.mk from there. If it is defined, trust it to point someplace sane 27# and include bsd.mkopt.mk from there. We need the !defined case to keep ports 28# kernel modules working (though arguably they should define MAKESYSPATH). We 29# need the latter case to keep the Jenkins testing harness working where they 30# specifically use a non-standard layout, but do define MAKESYSPATH correctly. 31.if !defined(MAKESYSPATH) 32.include "../../share/mk/bsd.mkopt.mk" 33.else 34.include <bsd.mkopt.mk> 35.endif 36