libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.
[barrelfish] / hake / ArchDefaults.hs
index cdde8a7..882bf84 100644 (file)
@@ -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"),