Makefile.conf revision 82917 
1# $FreeBSD: head/release/picobsd/build/Makefile.conf 82917 2001-09-04 02:01:52Z luigi $
2#
3# Makefile for building PICOBSD kernels and running crunchgen
4#
5# Needs SRC pointing to the source tree,
6# MY_TREE ponting to my tree
7# BUILDDIR pointing to the build directory
8# PICO_OBJ pointing to the object directory
9# When building a kernel, also need ${name} from the environment
10# and CONFIG may indicate an alternate config program
11
12SRC?=/usr/src
13CONF?=${SRC}/sys/i386/conf
14CONFIG?=config
15
16CONFFILE=PICOBSD-${name}
17COMPILE=${CONF}/../compile/${CONFFILE}
18KERNFILE=${COMPILE}/kernel
19
20${BUILDDIR}/kernel: ${KERNFILE}
21	cp -p ${.OODATE} ${.TARGET}
22	strip ${.TARGET}
23	strip --remove-section=.note --remove-section=.comment ${.TARGET}
24
25${KERNFILE}: ${COMPILE} do_a_make_in_the_kernel_directory_anyways
26
27do_a_make_in_the_kernel_directory_anyways:
28	(cd ${COMPILE}; make KERNEL=kernel -DNO_MODULES)
29
30${COMPILE}: ${CONF}/${CONFFILE}
31	(cd ${CONF}; ${CONFIG} ${CONFFILE}; \
32	cd ${COMPILE}; make KERNEL=kernel -DNO_MODULES depend )
33
34${CONF}/${CONFFILE}: PICOBSD
35	cp ${.OODATE} ${.TARGET}
36	if [ -f PICOBSD.hints ] ; then cp PICOBSD.hints ${CONF}/PICOBSD.hints ; fi
37
38# This part creates crunch1.conf and crunch.mk from crunch.conf
39${BUILDDIR}/crunch.mk: ${BUILDDIR}/crunch1.conf
40	-(cd ${BUILDDIR}/crunch ; \
41	crunchgen -p ${PICO_OBJ} -o -m ${.TARGET} ${.OODATE} )
42
43${BUILDDIR}/crunch1.conf: ${MY_TREE}/crunch.conf
44	(cd ${BUILDDIR}/crunch ; cat ${.OODATE} | \
45	    sed -e "s@/usr/src@${SRC}@" -e "s@CWD@${MY_TREE}@" > ${.TARGET} )
46