Idris-dev/.gitignore

\#*
.\#*
dist
cabal-dev/
.cabal-sandbox
cabal.sandbox.config
cabal.config
.hsenv
*.ibc
*.o
*.a
*.so
*.dll
*.dylib
*.swp
*~
.DS_Store
.hpc
*.orig
*.tix
*.dSYM
.projectile
.dir-locals.el
custom.mk
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/output
test/*[0-9][0-9][0-9]/output
test/*[0-9][0-9][0-9]/*.exe
test/runtest.exe
tags
TAGS
src/Version_idris.hs
.stack-work
Updated gitignore to ignore emacs temp files 2015-08-25 18:37:30 +03:00			`\#*`
			`.\#*`
New .gitignore for Cabal's directory and .ibc files. 2012-01-23 00:19:06 +04:00			`dist`
add vim temp files and cabal-dev directory to git ignore 2012-10-29 03:35:56 +04:00			`cabal-dev/`
Add cabal sandbox stuff to .gitignore. 2013-11-25 21:21:14 +04:00			`.cabal-sandbox`
			`cabal.sandbox.config`
Add cabal.config to .gitignore When running sandboxed it is recommended to use a local cabal.config for user settings as cabal.sandbox.config is autogenerated. 2015-04-06 19:34:45 +03:00			`cabal.config`
Add hsenv directory to gitignore 2014-11-11 02:19:25 +03:00			`.hsenv`
uppercase modulenames 2012-10-22 23:37:35 +04:00			`*.ibc`
			`*.o`
			`*.a`
Build RTS as shared library The C RTS is now built as a shared library, so that the functions in the Idris standard library that use parts of it will work in :x and in type providers. 2013-04-01 20:47:42 +04:00			`*.so`
			`*.dll`
			`*.dylib`
add vim temp files and cabal-dev directory to git ignore 2012-10-29 03:35:56 +04:00			`*.swp`
Adding support for Windows MingW32 2012-11-27 05:59:43 +04:00			`*~`
Ignore Mac OS X .DS_Store files 2013-09-05 04:54:34 +04:00			`.DS_Store`
Add HPC files to .gitignore HPC is used for coverage checking Haskell code 2013-12-17 23:11:58 +04:00			`.hpc`
ignore .orig files 2016-02-06 15:35:01 +03:00			`*.orig`
Add HPC files to .gitignore HPC is used for coverage checking Haskell code 2013-12-17 23:11:58 +04:00			`*.tix`
Added *.dSYM to .gitignore since it is generated by a test on mac 2016-04-03 21:23:23 +03:00			`*.dSYM`
Ignore Emacs noise 2015-02-16 13:15:10 +03:00			`.projectile`
			`.dir-locals.el`
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`custom.mk`
Add generated library docs to .gitignore 2015-01-11 02:34:19 +03:00			`libs/base/base_doc/`
			`libs/effects/effects_doc/`
			`libs/prelude/prelude_doc/`
Fixes from library reorg 2015-03-19 21:13:21 +03:00			`libs/contrib/contrib_doc/`
Add generated doc dirs to .gitignore 2016-03-27 21:54:08 +03:00			`libs/pruviloj/pruviloj_doc/`
			`libs/oldeffects/oldeffects_doc/`
uppercase modulenames 2012-10-22 23:37:35 +04:00			`test/output`
Update .gitignore for new tests structure 2014-02-01 15:46:57 +04:00			`test/*[0-9][0-9][0-9]/output`
			`test/[0-9][0-9][0-9]/.exe`
Make a haskell test runner This is designed to be drop-in compatible with runtest.pl 2016-01-24 05:26:03 +03:00			`test/runtest.exe`
Recursive constructor disjointness + cleanup 2013-11-18 21:12:16 +04:00			`tags`
			`TAGS`
Fix source locations for generated version number 2014-01-02 19:46:56 +04:00			`src/Version_idris.hs`
Add Stackage Configuration for easy building Using a nightly stackage config to build on GHC 7.10, and there are some dependencies that are more advanced than the most recent LTS stackage config. This should just build using `stack build` in the Idris-dev root. 2015-07-25 21:14:28 +03:00			`.stack-work`