Sockeye: Checker almost finished
[barrelfish] / doc / 024-fof / Hakefile
1 ----------------------------------------------------------------------
2 -- Copyright (c) 2017, 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, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
8 --
9 -- Hakefile for /tools/fof
10 --
11 ----------------------------------------------------------------------
12
13 --
14 -- Just builds documentation for now - Filet-o-Fish is only used as a library.
15 --
16
17 let
18   lhsfiles = [
19     "Compile",
20     "Constructs",
21     "Constructs/Arrays",
22     "Constructs/Conditionals",
23     "Constructs/Enumerations",
24     "Constructs/Functions",
25     "Constructs/References",
26     "Constructs/Strings",
27     "Constructs/Structures",
28     "Constructs/Typedef",
29     "Constructs/Unions",
30     "Eval",
31     "Expressions",
32     -- "FiletOFish",
33     "IL/FoF/Compile",
34     "IL/FoF/FoF",
35     "IL/FoF/Run",
36     "IL/Paka/Builders",
37     "IL/Paka/Compile",
38     "IL/Paka/Optimizer",
39     "IL/Paka/Paka",
40     "IL/Paka/Syntax",
41     "Libbarrelfish/GetAddress",
42     "Libbarrelfish/HasDescendants",
43     "Libbarrelfish/MemToPhys",
44     "Libc/Assert",
45     "Libc/Printf",
46     "Main",
47     "PureExpressions",
48     "Semantics"
49     ]
50   texfiles = [
51     "FutureWork",
52     "IntroLanguage",
53     "Introduction"
54     ]
55   lhsrule f = Rule ( [ Str "lhs2TeX",
56                        Str "-o",
57                        Out "tools" ("/tools/fof/" ++ f ++ ".tex"),
58                        In SrcTree "src" ("/tools/fof/" ++ f ++ ".lhs")
59                      ] )
60   texrule f = Rule ( [ Str "cp",
61                        In SrcTree "src" ("/tools/fof/" ++ f ++ ".tex"),
62                        Out "tools" ("/tools/fof/" ++ f ++ ".tex")
63                      ] )
64   lhsdeps = [ Dep BuildTree "tools" ("/tools/fof/" ++ f ++ ".tex") | f <- lhsfiles ]
65   texdeps = [ Dep BuildTree "tools" ("/tools/fof/" ++ f ++ ".tex") | f <- texfiles ]
66   in
67  [ buildTechNoteWithDeps "top.tex" "TN-024-FiletOFish.pdf" True False []
68    (lhsdeps ++ texdeps ++ [ Dep BuildTree "docs" "FiletOFish-from-lhs.tex" ])
69  ]
70  ++
71  [ lhsrule f | f <- lhsfiles ]
72  ++
73  [ texrule f | f <- texfiles ]
74  ++
75  [ Rule ( [ Str "lhs2TeX",
76             Str "-o",
77             Out "docs" "FiletOFish-from-lhs.tex", 
78             In SrcTree "src" "FiletOFish.lhs"
79           ] )
80  ]