Mercurial > urweb
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$ |