Make Pintos able to build with "gcc -m32" on x86-64 hosts without the

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index 9a2728d356a1441bd4d13701022908a61b07870e..8a45c933d92aebbc1cd3c90dcd94357dddde67ab 100644 (file)
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -37,6 +37,7 @@ lib_SRC += lib/random.c                       # Pseudo-random numbers.
 lib_SRC += lib/stdio.c                 # I/O library.
 lib_SRC += lib/stdlib.c                        # Utility functions.
 lib_SRC += lib/string.c                        # String functions.
+lib_SRC += lib/arithmetic.c
 
 # Kernel-specific library code.
 lib/kernel_SRC  = lib/kernel/debug.c   # Debug helpers.
@@ -72,7 +73,7 @@ threads/kernel.lds.s: CPPFLAGS += -P
 threads/kernel.lds.s: threads/kernel.lds.S threads/loader.h
 
 kernel.o: threads/kernel.lds.s $(OBJECTS) 
-       $(LD) -T $< -o $@ $(OBJECTS) `$(CC) -print-libgcc-file-name`
+       $(LD) -T $< -o $@ $(OBJECTS)
 
 kernel.bin: kernel.o
        $(OBJCOPY) -O binary -R .note -R .comment -S $< $@.tmp