diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-26 18:51:48 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-26 18:51:48 +0000 |
commit | c1e936b9cec3d731778b95504770e48c28fd1a65 (patch) | |
tree | d0302810f915f51b4c82e4e5d36267b35ba7af38 /contrib/Makefile.am | |
parent | f6fcb28606d8eca239c3a71e7f42a2bbbf0a8995 (diff) |
Fix a handful of things for Mac, and Java bindings.
Also add a "mac-build" script that sets up prerequisites for Mac.
Diffstat (limited to 'contrib/Makefile.am')
-rw-r--r-- | contrib/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/Makefile.am b/contrib/Makefile.am index facf5a21c..780200917 100644 --- a/contrib/Makefile.am +++ b/contrib/Makefile.am @@ -11,6 +11,7 @@ EXTRA_DIST = \ configure-in-place \ depgraph \ get-antlr-3.4 \ + mac-build \ run-script-smtcomp2012 \ theoryskel/kinds \ theoryskel/Makefile \ |