readme: add NXP iMX8X to supported platforms
[barrelfish] / doc / 013-capability-mgmt / Hakefile
1 ----------------------------------------------------------------------
2 -- Copyright (c) 2010, 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, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 --
9 -- Makefile for /doc/013-capabilities
10 --
11 ----------------------------------------------------------------------
12
13 let
14   figoutput f = "/tmp/" ++ f ++ ".pdf"
15   dot f = [ Str Config.dot, Str "-Tpdf",
16             In SrcTree "src" (f ++ ".dot"), Str "-o", Out "tools" (figoutput f), NL ]
17   in
18  [ buildTechNoteWithDeps "CapMgmt.tex" "TN-013-CapabilityManagement.pdf" True False [] 
19    (concat [dot "cap_types"])
20  ]
21