Mercurial > urweb
diff .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 |
line wrap: on
line diff
--- a/.hgignore Tue Jan 26 14:59:19 2010 -0500 +++ b/.hgignore Thu Jan 28 09:56:08 2010 -0500 @@ -12,12 +12,10 @@ *.lex.* *.grm.* *.o +.deps +.libs *.lo *.la -*.a -*.so -*.so.* -*.lai src/config.sml @@ -41,6 +39,7 @@ *.pdf *.ps *.toc +*.m4 .depend Makefile.coq @@ -48,5 +47,7 @@ syntax: regexp -^Makefile -^src/coq/Makefile +^Makefile$ +^src/c/Makefile$ +^src/coq/Makefile$ +^libtool$