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