Index: libc/Makefile
===================================================================
--- libc/Makefile	(revision c05290e81f6086d8e04804e4279b9b263b794033)
+++ libc/Makefile	(revision 11a4fbf3d932714911471f5631d3814591b6851e)
@@ -31,4 +31,5 @@
 
 LIBC_PREFIX = .
+SOFTINT_PREFIX = ../softint
 
 ## Setup toolchain
@@ -39,4 +40,5 @@
 ## Sources
 #
+
 
 GENERIC_SOURCES = \