x86: fix spawnd libdeps.
[barrelfish] / usr / spawnd / Hakefile
1 --------------------------------------------------------------------------
2 -- Copyright (c) 2007-2011, ETH Zurich.
3 -- All rights reserved.
4 --
5 -- This file is distributed under the terms in the attached LICENSE file.
6 -- If you do not find this file, copies can be found by writing to:
7 -- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
8 --
9 -- Hakefile for /usr/spawnd
10 --
11 --------------------------------------------------------------------------
12
13 [ build application { target = "spawnd",
14                       cFiles = [ "main.c", "service.c", "ps.c" ],
15                       addLibraries = libDeps [ "spawndomain", "elf", "trace", "skb",
16                                                "dist", "vfs", "lwip" ],
17                       flounderDefs = [ "monitor", "monitor_blocking" ],
18                       flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
19                       flounderBindings = [ "spawn" ],
20                       architectures = [ "x86_64", "x86_32" ]
21                     },
22   build application { target = "spawnd",
23                       cFiles = [ "main.c", "service.c", "ps.c" ],
24                       addLibraries = libDeps [ "spawndomain", "elf", "trace", "skb",
25                                        "dist", "vfs_ramfs", "lwip" ],
26                       flounderDefs = [ "monitor", "monitor_blocking" ],
27                       flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
28                       flounderBindings = [ "spawn" ],
29                       architectures = [ "armv5", "armv7", "armv8" ]
30                     }
31 ]