git.barrelfish.org Git - barrelfish/blob - doc/010-spec/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, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
   8 --
   9 -- Hakefile for /doc/010-spec
  10 --
  11 ----------------------------------------------------------------------
  12
  13 let
  14     figoutput f = "/tmp/" ++ f ++ ".pdf"
  15     circo f = [ Str "circo", Str "-Tpdf",
  16                 In SrcTree "src" (f ++ ".circo"), Str "-o", Out "tools" (figoutput f), NL ]
  17     dot f = [ Str "dot", Str "-Tpdf",
  18               In SrcTree "src" (f ++ ".dot"), Str "-o", Out "tools" (figoutput f), NL ]
  19 in
  20   [ buildTechNoteWithDeps "Spec.tex" "TN-010-Spec.pdf" True []
  21     (concat [dot "app_cspace", circo "disp_states_simple",
  22              dot "disp_states_simple_save_area_analysis", dot "init_cspace"]
  23     ++ [ Str "hg", Str "-R", NoDep SrcTree "src" "/",
  24          Str "log -l 1 --template 'Revision {rev} of {date|shortdate}\\n'",
  25          In SrcTree "src" "Spec.tex", Str ">", Out "tools" "/tmp/specdate.tex", NL ])
  26   ]