darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (http://hub.darcs.net)

root / Makefile

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
# common darcsden developer tasks

ENV=\
	LANG=en_US.utf8 \
	GOOGLE_CLIENT_ID= \
	GOOGLE_CLIENT_SECRET= \
	GITHUB_CLIENT_ID= \
	GITHUB_CLIENT_SECRET= \

run:
	stack build
	sudo -Hu darcsden $(ENV) `stack exec which darcsden` --hub

tag:
	rm -f TAGS; hasktags -e .

clean:
	rm -f darcsden
	find src -name "*.hi" -delete
	find src -name "*.o" -delete
	find web-server -name "*.hi" -delete
	find web-server -name "*.o" -delete
	find ssh-server -name "*.hi" -delete
	find ssh-server -name "*.o" -delete
	find post-hook -name "*.hi" -delete
	find post-hook -name "*.o" -delete
	find test-harness -name "*.hi" -delete
	find test-harness -name "*.o" -delete
# avoid .stack-work, .cabal-sandbox, .virthualenv etc.

-include Makefile.local