diff options
-rw-r--r-- | boot/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index adc0cfc4..31d62c3a 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -25,10 +25,11 @@ OBJS = boot.o notifyServer.o execServer.o ourdeviceServer.o ioServer.o \ HURDLIBS = libthreads target = boot io-MIGSFLAGS=-DREPLY_PORTS +DISTFILES=frank1.ld frankemul.ld include ../Makeconf -CPPFLAGS += -DDEFAULT_BOOTDEVICE=\"$(notdir $(hurdrootdev))\" +LDFLAGS += -Wl,-T -Wl,frank1.ld #install: /usr/local/bin/boot # @@ -40,3 +41,9 @@ boot.o: notify_S.h exec_S.h ourdevice_S.h io_S.h device_reply_U.h \ ourdevice.defs: $(includedir)/device/device.defs sed -e '/out device : device_t/s/device_t/mach_port_send_t/' $< > $@ + +boot.1: boot frankemul.ld + i386-gnuelf-ld -o boot.1 -T frankemul.ld boot +boot.a: boot.1 + i386-gnuelf-objcopy -S --remove-section=.comment -O a.out-mach3 \ + boot.1 boot.a |