pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation
http://pietrobraione.github.io/jbse/
GNU General Public License v3.0
102 stars 29 forks source link

Added JAVACC target to Ant script #5

Closed andreamattavelli closed 7 years ago

andreamattavelli commented 7 years ago

Fixes issue #4. @monperrus To properly work, you need to set the environmental variable JAVACC_HOME:

export JAVACC_HOME=/Applications/javacc

There are two new targets:

monperrus commented 7 years ago

Thanks a lot,

export JAVACC_HOME=/Applications/javacc What's the recommended way to install this folder? Maven? Downloading and unzipping a JavaCC release?

--Martin

andreamattavelli commented 7 years ago

@monperrus, I personally have it unzipped in a directory as suggested here: https://javacc.java.net/doc/installhelp.html I haven't looked for other ways of installing it. If you find anything worth sharing, please report it :)

pietrobraione commented 7 years ago

@monperrus I see that there is an updated javacc under Maven Central, groupid net.java.dev.javacc, artifactid javacc. Note that jbse is not in Maven Central.