libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.

[barrelfish] / hake / ArchDefaults.hs

diff --git a/hake/ArchDefaults.hs b/hake/ArchDefaults.hs
index cdde8a7..882bf84 100644 (file)
--- a/hake/ArchDefaults.hs
+++ b/hake/ArchDefaults.hs
@@ -84,6 +84,7 @@ ldCxxFlags arch =
 -- Libraries that are linked to all applications.
 stdLibs arch = 
     [ In InstallTree arch "/lib/libbarrelfish.a",
+      In InstallTree arch "/lib/libterm_client.a",
       In InstallTree arch "/lib/liboctopus_parser.a", -- XXX: For NS client in libbarrelfish
       In InstallTree arch "/errors/errno.o",
       In InstallTree arch ("/lib/lib" ++ Config.libc ++ ".a"),