git.barrelfish.org Git - barrelfish/blob - 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_noblockdev", "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 ]