----------------------------------------------------------------------
-- Copyright (c) 2017, ETH Zurich.
-- All rights reserved.
--
-- This file is distributed under the terms in the attached LICENSE file.
-- If you do not find this file, copies can be found by writing to:
-- ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
--
-- Hakefile for /doc/TN-025-Sockeye.pdf
--
----------------------------------------------------------------------

let
    sockeyeToProlog = [ "example" ]
    sockeyeRule f = Rule [ sockeyeProgLoc2,
                           In SrcTree "src" (f ++ ".soc"),
                           Str "-o",
                           Out "docs" (f ++ ".pl")
                         ]
    prologFromSockeye = [ Dep BuildTree "docs" (f ++ ".pl") | f <- sockeyeToProlog]
in
[ buildTechNoteWithDeps "Sockeye.tex" "TN-025-Sockeye.pdf" True False [] 
    prologFromSockeye
]
++
[sockeyeRule f | f <- sockeyeToProlog]