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
15INDEX = FiletOFish.tex
16MAIN = Main.lhs
17SOURCES = $(wildcard *.lhs)\
18	  $(wildcard ./Libc/*.lhs)\
19	  $(wildcard ./Libbarrelfish/*.lhs)\
20          $(wildcard ./IL/FoF/*.lhs)\
21          $(wildcard ./IL/Paka/*.lhs)\
22          $(wildcard ./Constructs/*.lhs)
23TEXS = $(patsubst %.lhs,%.tex,$(SOURCES))
24
25
26
27all: literate 
28
29
30
31.SUFFIXES: .tex .lhs
32
33.lhs.tex: 
34	$(LHS2TEX) -o $*.tex $*.lhs
35
36
37literate: $(TEXS)
38	 $(PDFTEX) $(INDEX)
39	 $(BIBTEX) $(basename $(INDEX))
40	 $(PDFTEX) $(INDEX)
41	 $(PDFTEX) $(INDEX)
42
43clean:
44	rm -f *.aux *.ptb *.toc *.log *.o *.hi $(patsubst %.lhs,%.tex,$(SOURCES))
45
46cleanall: clean
47	rm -f FiletOFish.pdf
48