darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (https://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
| # 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
|