mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-08-16 12:10:39 +03:00
56 lines
666 B
Plaintext
56 lines
666 B
Plaintext
# 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
|
|
|