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