projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b11f6d3) | patch
The contrib/get-antlr-3.4 script:
authorTim King <taking@cs.nyu.edu>
Tue, 23 Oct 2012 19:41:12 +0000 (19:41 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 23 Oct 2012 19:41:12 +0000 (19:41 +0000)
commit5e64d60e49db9176c310f15cb206e3fda3e31973
tree4d6a0f5ebe272d1fbda86b90ba8d95e88f70672dtree
parentb11f6d3a27d33b9075e57b37f77ad9d11732fce5commit | diff
The contrib/get-antlr-3.4 script:
- Has no outdated reference to /usr/share/java/stringtemplate.jar (as discussed on the mailing list).
- Attempts to determine if the computer is 64 or 32 bit and configure antlr appropriately.
- Warns the user about it's guess.
- Tells the user how to correct an incorrect guess.
contrib/get-antlr-3.4 diff | blob | history