Massive simplification: always deeply skolemise
[ghc.git] / .gitignore
1 # -----------------------------------------------------------------------------
2 # generic generated file patterns
3
4 Thumbs.db
5 .DS_Store
6
7 *~
8 *#
9 #*#
10 *.bak
11 *.BAK
12 *.orig
13 *.prof
14 *.rej
15
16 *.hi
17 *.hi-boot
18 *.o-boot
19 *.p_o
20 *.t_o
21 *.debug_o
22 *.thr_o
23 *.thr_p_o
24 *.thr_debug_o
25 *.o
26 *.a
27 *.o.cmd
28 *.depend*
29 *.dyn_o
30 *.dyn_hi
31
32 log
33 tags
34
35 autom4te.cache
36 config.log
37 config.status
38 configure
39
40 # Temporarily generated configure files
41 confdefs.h
42 conftest-book.xml
43 conftest.xml
44
45 # -----------------------------------------------------------------------------
46 # Ignore any overlapped darcs repos and back up files
47
48 *-darcs-backup*
49 _darcs/
50
51 # -----------------------------------------------------------------------------
52 # sub-repositories
53
54 /ghc-tarballs/
55
56 # -----------------------------------------------------------------------------
57 # Cabal dist directories
58
59 /driver/ghc/dist/
60 /driver/haddock/dist/
61 /driver/ghci/dist/
62 /driver/split/dist/
63 /includes/dist-*/
64 /libffi/dist-install/
65 /libraries/*/dist-boot/
66 /libraries/*/dist-install/
67 /libraries/dist-haddock/
68 /rts/dist/
69 /utils/*/dist*/
70 /compiler/stage1/
71 /compiler/stage2/
72 /compiler/stage3/
73 /ghc/stage1/
74 /ghc/stage2/
75 /ghc/stage3/
76
77 # -----------------------------------------------------------------------------
78 # specific generated files
79
80 /bindist-list
81 /bindistprep/
82 /bindisttest/HelloWorld
83 /bindisttest/
84 /ch01.html
85 /ch02.html
86 /compiler/dist/
87 /compiler/ghc.cabal
88 /compiler/ghc.cabal.old
89 /distrib/configure.ac
90 /distrib/ghc.iss
91 /docs/index.html
92 /docs/man/flags.xml
93 /docs/man/flags.xsl
94 /docs/man/ghc.1
95 /docs/users_guide/ug-book.xml
96 /docs/users_guide/ug-ent.xml
97 /docs/users_guide/users_guide.xml
98 /docs/users_guide/users_guide.pdf
99 /docs/users_guide/users_guide.ps
100 /docs/users_guide/users_guide/
101 /docs/users_guide/what_glasgow_exts_does.gen.xml
102 /driver/ghci/ghc-pkg-inplace
103 /driver/ghci/ghci-inplace
104 /driver/ghci/ghci.res
105 /driver/package.conf
106 /driver/package.conf.inplace.old
107 /settings
108 /ghc.spec
109 /ghc/ghc-bin.cabal
110 /includes/ghcautoconf.h
111 /includes/ghcplatform.h
112 /includes/ghcversion.h
113 /index.html
114 /inplace/
115 /libffi/build/
116 /libffi/ffi.h
117 /libffi/package.conf.inplace
118 /libffi/package.conf.inplace.raw
119 /libffi/stamp*
120 /libffi/package.conf.install
121 /libffi/package.conf.install.raw
122 /libraries/bin-package-db/GNUmakefile
123 /libraries/bin-package-db/ghc.mk
124 /libraries/bootstrapping.conf
125 /libraries/prologue.txt
126 /libraries/doc-index*.html
127 /libraries/frames.html
128 /libraries/haddock-util.js
129 /libraries/hslogo-16.png
130 /libraries/index-frames.html
131 /libraries/index.html
132 /libraries/minus.gif
133 /libraries/ocean.css
134 /libraries/plus.gif
135 /libraries/synopsis.png
136 /libraries/stamp/
137 /mk/are-validating.mk
138 /mk/build.mk
139 /mk/config.h
140 /mk/config.h.in
141 /mk/config.mk
142 /mk/config.mk.old
143 /mk/install.mk
144 /mk/project.mk
145 /mk/project.mk.old
146 /mk/validate.mk
147 /rts/package.conf.inplace
148 /rts/package.conf.inplace.raw
149 /rts/package.conf.install
150 /rts/package.conf.install.raw
151 /stage3.package.conf
152 /testsuite_summary.txt
153 /testlog
154 /utils/runghc/runghc.cabal
155
156 /extra-gcc-opts
157 /sdistprep
158
159 .tm_properties
160 VERSION
161 GIT_COMMIT_ID
162
163 # -------------------------------------------------------------------------------------
164 # when using a docker image, one can mount the source code directory as the home folder
165 # -------------------------------------------------------------------------------------
166 .arcrc
167 .ghc
168 .bash_history
169 .gitconfig