comparison .hgignore @ 1132:d4cd54a4ea06

First attempt to switch to Automake, to get shared libraries built in OSX
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 09:56:08 -0500
parents 67d875c8ac71
children f6cb1cb2d7a8
comparison
equal deleted inserted replaced
1131:94e83c5533d2 1132:d4cd54a4ea06
10 src/urweb.mlb 10 src/urweb.mlb
11 11
12 *.lex.* 12 *.lex.*
13 *.grm.* 13 *.grm.*
14 *.o 14 *.o
15 .deps
16 .libs
15 *.lo 17 *.lo
16 *.la 18 *.la
17 *.a
18 *.so
19 *.so.*
20 *.lai
21 19
22 src/config.sml 20 src/config.sml
23 21
24 *.exe 22 *.exe
25 23
39 *.aux 37 *.aux
40 *.dvi 38 *.dvi
41 *.pdf 39 *.pdf
42 *.ps 40 *.ps
43 *.toc 41 *.toc
42 *.m4
44 43
45 .depend 44 .depend
46 Makefile.coq 45 Makefile.coq
47 *.vo 46 *.vo
48 47
49 syntax: regexp 48 syntax: regexp
50 49
51 ^Makefile 50 ^Makefile$
52 ^src/coq/Makefile 51 ^src/c/Makefile$
52 ^src/coq/Makefile$
53 ^libtool$