-
Notifications
You must be signed in to change notification settings - Fork 6
/
Justfile
62 lines (49 loc) · 2.05 KB
/
Justfile
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
latex:
cd ats-pkg/docs && pdflatex manual.tex && pdflatex manual.tex
darcs:
darcs optimize clean
darcs optimize pristine
darcs optimize cache
approve FILE:
@cabal run atsfmt -w ghc-8.6.5 -- language-ats/test/data/{{ FILE }} -o > language-ats/test/data/$(echo {{ FILE }} | sed 's/\(dats\|hats\|sats\)/out/')
sed -i '$d' language-ats/test/data/$(echo {{ FILE }} | sed 's/\(dats\|hats\|sats\)/out/')
clean:
sn c .
rm -rf tags ats-pkg/docs/manual.out
diff FILE:
@diff <(cabal run atsfmt -w ghc-8.8.3 -- language-ats/test/data/{{ FILE }} -o) language-ats/test/data/$(echo {{ FILE }} | sed 's/\(dats\|hats\|sats\)/out/') | perl -pe 's/\e\[?.*?[\@-~]//g'
manpages:
pandoc ats-format/man/MANPAGE.md -s -t man -o ats-format/man/atsfmt.1
pandoc ats-pkg/man/MANPAGE.md -s -t man -o ats-pkg/man/atspkg.1
debian:
PATH=/usr/bin:$PATH cabal-debian --maintainer "Vanessa McHale <[email protected]>"
poly:
@poly -e data
dhall-check:
atspkg check-set ats-pkg/pkgs/pkg-set.dhall
cat ats-pkg/dhall/atslib.dhall | dhall
cat ats-pkg/dhall/config.dhall | dhall
cat ats-pkg/dhall/atspkg-prelude.dhall | dhall
ci: install
@cabal new-test all
shellcheck -e SC2016 bash/install.sh
shellcheck bash/upload
yamllint .stylish-haskell.yaml
yamllint .hlint.yaml
yamllint .yamllint
yamllint .travis.yml
yamllint appveyor.yml
tomlcheck --file ats-format/.atsfmt.toml
hlint ats-pkg language-ats ats-format shake-cabal shake-c
profile:
@cabal new-build all -p --enable-profiling
@cp $(fd 'atsfmt$' -IH dist-newstyle | tail -n1) ~/.local/bin
@cp -f $(fd 'atspkg$' -t x -IH dist-newstyle | tail -n1) ~/.local/bin
install:
@cabal new-build all
@cp -f $(fd 'atspkg$' -t x -IH dist-newstyle | tail -n1) ~/.local/bin
@strip $(fd 'atsfmt$' -IH dist-newstyle | tail -n1)
@cp ats-format/man/atsfmt.1 ~/.local/share/man/man1
@cp $(fd 'atsfmt$' -IH dist-newstyle | tail -n1) ~/.local/bin
size:
@sn d $(fd 'atsfmt$' -IH dist-newstyle | tail -n1) $(fd 'atspkg$' -IH dist-newstyle | tail -n1)