1 # $Id: Makefile.inc,v 1.3 1993/10/13 12:19:37 cgd Exp $ 2 # 3 # NOTE: $S must correspond to the top of the 'sys' tree 4 5 KERNDIR= $S/lib/libkern 6 7 .if exists($(KERNDIR)/obj) 8 KERNLIBDIR= $(KERNDIR)/obj 9 .else 10 KERNLIBDIR= $(KERNDIR) 11 .endif 12 13 KERNLIB= $(KERNLIBDIR)/libkern.a 14 KERNLIB_PROF= $(KERNLIBDIR)/libkern_p.a 15 16 $(KERNLIB): .NOTMAIN __always_make_kernlib 17 @echo making sure the kern library is up to date... 18 @(cd $(KERNDIR) ; make) 19 20 $(KERNLIB_PROF): .NOTMAIN __always_make_kernlib 21 @echo making sure the profiled kern library is up to date... 22 @(cd $(KERNDIR) ; make) 23 24 __always_make_kernlib: .NOTMAIN 25