diff options
| -rw-r--r-- | boot/Makefile | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/boot/Makefile b/boot/Makefile new file mode 100644 index 00000000..b011d262 --- /dev/null +++ b/boot/Makefile @@ -0,0 +1,37 @@ +# Copyright (C) 1993 Free Software Foundation, Inc. +# This file is part of the GNU Hurd. +# +# The GNU Hurd is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2, or (at your option) +# any later version. +# +# The GNU Hurd is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with the GNU Hurd; see the file COPYING. If not, write to +# the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. + +#include ../Makeconf + +OBJS = boot.o notifyServer.o execServer.o deviceServer.o + +boot: $(OBJS) + $(link) + +boot.o: notify_S.h exec_S.h device_S.h + +notify_S.h notifyServer.c: $(headers)/mach/notify.defs + $(MIG) $< -user /dev/null -header /dev/null \ + -sheader notify_S.h + +exec_S.h execServer.c: $(headers)/hurd/exec.defs + $(MIG) $< -user /dev/null -header /dev/null \ + -sheader exec_S.h + +device_S.h deviceServer.c: $(headers)/device/device.defs + $(MIG) $< -user /dev/null -header /dev/null \ + -sheader device_S.h |