blob: ad5c23e018b95ab9573f819f864a8694864824d4 (
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
30
31
32
33
34
35
|
.PHONY: all build install doc clean gf # sdist
all: build
dist/setup-config: gf.cabal Setup.hs WebSetup.hs
cabal configure
build: dist/setup-config
cabal build
install:
cabal copy
cabal register
doc:
cabal haddock
clean:
cabal clean
#sdist:
# cabal sdist
gf:
cabal build rgl-none
strip dist/build/gf/gf
html::
bash bin/update_html
# Make a debian package. First add a suitable entry with the correct GF version
# number to the top of debian/changelog.
# (Tested on Ubuntu 14.04. You need to install dpkg-dev & debhelper.)
deb:
dpkg-buildpackage -b
|
