1##########################################################################
2# Copyright (c) 2007, 2008, 2009, 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
10
11LHS2TEX = lhs2TeX
12PDFTEX = pdflatex
13BIBTEX = bibtex
14
15FOF_DIR = ../fof
16ERROR_TUTO = FuguBackend.tex
17MAIN = Fugu.lhs
18SOURCES = $(wildcard *.lhs)
19TEXS = $(patsubst %.lhs,%.tex,$(SOURCES))
20
21
22
23all: literate
24
25
26
27.SUFFIXES: .tex .lhs
28
29.lhs.tex: 
30	$(LHS2TEX) -o $*.tex $*.lhs
31
32
33literate: $(ERROR_TUTO)
34	$(PDFTEX) $(ERROR_TUTO)
35	$(PDFTEX) $(ERROR_TUTO)
36
37clean:
38	rm -f *.aux *.ptb *.toc *.log *.o *.hi $(patsubst %.lhs,%.tex,$(SOURCES))
39
40cleanall: clean
41	rm -f ErrorDefinition.pdf
42