git.iko.soy/Idris-dev
on master help sign in
Idris-dev/.gitignore
55 lines 666 B history raw
1# Build artefacts
2dist
3dist-newstyle
4*.ibc
5*.o
6*.a
7*.so
8*.dll
9*.dylib
10src/Version_idris.hs
12# Doc generation artefacts
13libs/base/base_doc/
14libs/effects/effects_doc/
15libs/prelude/prelude_doc/
16libs/contrib/contrib_doc/
17libs/pruviloj/pruviloj_doc/
18libs/oldeffects/oldeffects_doc/
20# Test artefacts
21test/output
22test/*[0-9][0-9][0-9]/output
23test/*[0-9][0-9][0-9]/*.exe
24test/runtest.exe
25test/runtest
26.tasty-rerun-log
28# Haskell build tools
29cabal-dev/
30.cabal-sandbox
31cabal.sandbox.config
32cabal.config
33.stack-work
34.hsenv
36# For convenience
37custom.mk
38\#*
39.\#*
40tags
41TAGS
43# IDE and editors
44*.swp
45*~
46.DS_Store
47.hpc
48*.orig
49*.tix
50*.dSYM
51.projectile
52.dir-locals.el
53.vscode
54.idea