1 # Makefile for the BIOS disk driver (BIOS_WINI)
12 # programs, flags, etc.
15 CFLAGS
= -I
$i $(CPROFILE
)
16 LDFLAGS
= -i
-L..
/libdriver
17 LIBS
= -lsysutil
-lsys
-ltimers
-ldriver
24 $(CC
) -o
$@
$(LDFLAGS
) $(OBJ
) $(LIBS
)
25 install -S
8k
$(DRIVER
)
27 # install with other drivers
28 install: /sbin
/$(DRIVER
)
29 /sbin
/$(DRIVER
): $(DRIVER
)
30 install -o root
-cs
$?
$@
32 # clean up local files
34 rm -f
$(DRIVER
) *.o
*.bak
37 mkdep
"$(CC) -E $(CPPFLAGS)" *.c ..
/libdriver
/*.c
> .depend
39 # Include generated dependencies.