diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-28 09:56:08 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-28 09:56:08 -0500 |
| commit | fc6aaab8d0f8a9d7328f18a633ab93afd7e9e5f0 (patch) | |
| tree | e8d85a2bec92a14f719babb7d0400856a596eb89 /.hgignore | |
| parent | 703661dcfcf96e23acedf7c2a6d36cda3fb68bc6 (diff) | |
First attempt to switch to Automake, to get shared libraries built in OSX
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -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$ |