search

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

[WIP] Adding Maven build script #8

Closed andreamattavelli closed 6 years ago

andreamattavelli commented 7 years ago

Experimental use of Maven to automatize JBSE build.

The script:

  1. generates Java files from grammar (mvn javacc:javacc or during mvn compile/package)
  2. compiles Java files (mvn compile)
  3. generates Jar (mvn package)
  4. runs tests (mvn test)
andreamattavelli commented 7 years ago

@pietrobraione @gdenaro73 Please try it and review my modifications

pietrobraione commented 6 years ago

OK, will merge.