blob: 3275b2306c5195420353a73f8797bd0053053e4b (
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
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
|