summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-28 09:56:08 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-28 09:56:08 -0500
commitfc6aaab8d0f8a9d7328f18a633ab93afd7e9e5f0 (patch)
treee8d85a2bec92a14f719babb7d0400856a596eb89 /.hgignore
parent703661dcfcf96e23acedf7c2a6d36cda3fb68bc6 (diff)
First attempt to switch to Automake, to get shared libraries built in OSX
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore13
1 files changed, 7 insertions, 6 deletions
diff --git a/.hgignore b/.hgignore
index 0c53c3a2..862064ee 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,12 +12,10 @@ src/urweb.mlb
*.lex.*
*.grm.*
*.o
+.deps
+.libs
*.lo
*.la
-*.a
-*.so
-*.so.*
-*.lai
src/config.sml
@@ -41,6 +39,7 @@ demo/more/demo.*
*.pdf
*.ps
*.toc
+*.m4
.depend
Makefile.coq
@@ -48,5 +47,7 @@ Makefile.coq
syntax: regexp
-^Makefile
-^src/coq/Makefile
+^Makefile$
+^src/c/Makefile$
+^src/coq/Makefile$
+^libtool$