Skip to content

Instantly share code, notes, and snippets.

@jeandersonbc

jeandersonbc/steps.md

Created July 3, 2018 12:41
Show Gist options
  • Save jeandersonbc/2489e152540ef85f7912a16e7ba5215b to your computer and use it in GitHub Desktop.
Save jeandersonbc/2489e152540ef85f7912a16e7ba5215b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
steps.md
  1. Clone jpf
> git clone https://github.com/javapathfinder/jpf-core
> cd jpf-core
  1. Checkout JPF-8.0 version
> git checkout JPF-8.0
  1. Build JPF
> ant

Here is my environment:

$ ant -version
Apache Ant(TM) version 1.10.2 compiled on February 3 2018
Jeandersons-MacBook-Air:jpf-core jeandersonbc
$ java -version
java version "1.8.0_151"
Java(TM) SE Runtime Environment (build 1.8.0_151-b12)
Java HotSpot(TM) 64-Bit Server VM (build 25.151-b12, mixed mode)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment