summaryrefslogtreecommitdiff
path: root/Makefile
blob: 9187f0c4c547681eadf3257df81436e2fa4e6481 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
.PHONY: all build install doc clean sdist gf

all: build

dist/setup-config: gf.cabal
	chmod u+x lib/src/mkPresent
	chmod u+x lib/src/mkMinimal
	runghc Setup.hs configure

build: dist/setup-config
	runghc Setup.hs build

install:
	runghc Setup.hs install

doc:
	runghc Setup.hs haddock

clean:
	runghc Setup.hs clean

sdist:
	runghc Setup.hs sdist
gf:
	runghc Setup.hs build rgl-none
	strip dist/build/gf/gf

html::
	bash bin/update_html