sys/conf/kern.paths.mk

   1 # Set up the default install paths for kernel/modules
   2 #
   3 # DESTLABEL             add suffix to kernel and modules directory [not set]
   4 # DESTKERNDIR           where kernel and modules are to be installed [/boot]
   5 # DESTKERNNAME          name of installed kernel [${KERNEL}]
   6 # DESTMODULESNAME       name of modules directory [modules]
   7 #
   8 .if defined(DESTLABEL)
   9 DESTKERNNAME?=          ${KERNEL}.${DESTLABEL}
  10 DESTMODULESNAME?=       modules.${DESTLABEL}
  11 .else
  12 DESTKERNNAME?=          ${KERNEL}
  13 DESTMODULESNAME?=       modules
  14 .endif
  15 DESTKERNDIR?=           /boot
  16
  17 # Set DESTDIR to /var/vkernel by default for vkernel platform so as
  18 # not to shoot the real kernel installation.
  19 .if ${MACHINE_PLATFORM} == vkernel
  20 DESTDIR?=               /var/vkernel
  21 .endif