Idris-dev/.gitignore at master · zanzix/Idris-dev · GitHub

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
# Build artefacts
dist
dist-newstyle
*.ibc
*.o
*.a
*.so
*.dll
*.dylib
src/Version_idris.hs

# Doc generation artefacts
libs/base/base_doc/
libs/effects/effects_doc/
libs/prelude/prelude_doc/
libs/contrib/contrib_doc/
libs/pruviloj/pruviloj_doc/
libs/oldeffects/oldeffects_doc/

# Test artefacts
test/output
test/*[0-9][0-9][0-9]/output
test/*[0-9][0-9][0-9]/*.exe
test/runtest.exe
test/runtest
.tasty-rerun-log

# Haskell build tools
cabal-dev/
.cabal-sandbox
cabal.sandbox.config
cabal.config
.stack-work
.hsenv

# For convenience
custom.mk
\#*
.\#*
tags
TAGS

# IDE and editors
*.swp
*~
.DS_Store
.hpc
*.orig
*.tix
*.dSYM
.projectile
.dir-locals.el
.vscode
.idea