darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (fork of simon's darcsden)
(http://hub.darcs.net)
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
| # 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
SOURCEFILES=\
src/*/*.hs \
src/*/*/*.hs \
src/*/*/*/*.hs \
web-server/*.hs \
ssh-server/*.hs \
post-hook/*.hs \
test-harness/*.hs \
tag:
rm -f TAGS; hasktags -e $(SOURCEFILES) darcsden.cabal Makefile
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
|