blob: bb7c3fde369950a45df328df9957f7e5dfd52402 (
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
36
37
38
39
40
41
42
43
|
.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
# Make an OS X Installer package
pkg:
PREFIX=/usr FMT=pkg bash bin/build-binary-dist.sh
# Make a binary tar distribution
bintar:
bash bin/build-binary-dist.sh
|
