1999-08-28 01:35:59 +00:00
|
|
|
# $FreeBSD$
|
1998-09-03 10:41:36 +00:00
|
|
|
#
|
1999-08-22 21:45:24 +00:00
|
|
|
# Makefile for building PICOBSD kernels
|
1998-09-03 10:41:36 +00:00
|
|
|
|
|
|
|
SRC?=/usr/src
|
|
|
|
CONF?=$(SRC)/sys/i386/conf
|
|
|
|
|
2001-04-23 19:55:03 +00:00
|
|
|
CONFFILE=PICOBSD-${name}
|
2001-01-29 22:47:46 +00:00
|
|
|
COMPILE=$(SRC)/sys/compile/$(CONFFILE)
|
1998-09-03 10:41:36 +00:00
|
|
|
KERNFILE=$(COMPILE)/kernel
|
|
|
|
|
|
|
|
|
2001-04-23 19:55:03 +00:00
|
|
|
$(KERNFILE): ${COMPILE} do_a_make_in_the_kernel_directory_anyways
|
2000-02-08 08:25:00 +00:00
|
|
|
|
2001-04-23 19:55:03 +00:00
|
|
|
do_a_make_in_the_kernel_directory_anyways:
|
|
|
|
(cd ${COMPILE}; make KERNEL=kernel -DNO_MODULES)
|
2000-02-08 08:25:00 +00:00
|
|
|
|
|
|
|
${COMPILE}: ${CONF}/${CONFFILE}
|
2001-04-23 19:55:03 +00:00
|
|
|
(cd ${CONF}; config $(CONFFILE); \
|
|
|
|
cd ${COMPILE}; make KERNEL=kernel -DNO_MODULES depend )
|
2000-02-08 08:25:00 +00:00
|
|
|
|
2001-04-23 19:55:03 +00:00
|
|
|
$(CONF)/${CONFFILE}: PICOBSD
|
|
|
|
cp PICOBSD $(CONF)/${CONFFILE}
|
1998-09-03 10:41:36 +00:00
|
|
|
|