Index: softint/Makefile
===================================================================
--- softint/Makefile	(revision c3a2f0b257d4a22e11fc286fb615218d947837cf)
+++ softint/Makefile	(revision 56972c815c04963f23b5e9d18768b2d4f7ddf630)
@@ -30,9 +30,11 @@
 #
 
-SOFTINT_PREFIX = .
+LIBC_PREFIX = ../libc
 ## Setup toolchain
 #
 
-include $(SOFTINT_PREFIX)/Makefile.toolchain
+include $(LIBC_PREFIX)/Makefile.toolchain
+
+CFLAGS += -Iinclude
 
 ## Sources
@@ -43,5 +45,4 @@
 
 GENERIC_OBJECTS := $(addsuffix .o,$(basename $(GENERIC_SOURCES)))
-ARCH_OBJECTS := $(addsuffix .o,$(basename $(ARCH_SOURCES)))
 
 .PHONY: all clean depend
@@ -56,5 +57,5 @@
 
 depend:
-	$(CC) $(DEFS) $(CFLAGS) -M $(ARCH_SOURCES) $(GENERIC_SOURCES) > Makefile.depend
+	$(CC) $(DEFS) $(CFLAGS) -M $(GENERIC_SOURCES) > Makefile.depend
 
 softint.a: depend $(ARCH_OBJECTS) $(GENERIC_OBJECTS)