27 lines
960 B
Plaintext
27 lines
960 B
Plaintext
----------------------------------------------------------------------
|
|
-- 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]
|