projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 670cc5f) | patch
Adds required steps to contrib/mac-build.
authorChris Conway <clconway@google.com>
Thu, 26 Nov 2015 22:57:03 +0000 (14:57 -0800)
committerChris Conway <clconway@google.com>
Thu, 26 Nov 2015 22:57:15 +0000 (14:57 -0800)
commitd08ec138869fa473713192f8477920299dec2572
tree345599c56cdc1ce61e9545e39c588b9ec02ae107tree
parent670cc5fccd6e98e88c9eeedfede07d053faad26ecommit | diff
Adds required steps to contrib/mac-build.

autogen.sh must be run before get-antlr-3.4 or it fails with
    I need the file config/config.guess to tell MACHINE_TYPE

autogen.sh can't run unless the autoconf, automake and libtools
MacPorts packages are installed.
contrib/mac-build diff | blob | history