1##########################################################################
2# Copyright (c) 2013, 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
16MAIN = Fugu.lhs
17SOURCES = $(wildcard *.lhs)
18TEXS = $(patsubst %.lhs,%.tex,$(SOURCES))
19
20
21
22all: literate
23
24
25
26.SUFFIXES: .tex .lhs
27
28.lhs.tex: 
29	$(LHS2TEX) -o $*.tex $*.lhs
30
31clean:
32	rm -f *.aux *.ptb *.toc *.log *.o *.hi $(patsubst %.lhs,%.tex,$(SOURCES))
33
34cleanall: clean
35	rm -f ErrorDefinition.pdf
36