<aside> 💡 This post includes some valuable hints for building SPF with Ant and some helpful advice for using it.

</aside>

Prepare the site.properties file

cd /Users/yannic/.jpf

yannic@Yannics-MacBook-Pro .jpf % cat site.properties

# SPF
jpf-core = /Users/yannic/repositories/jpf-core
jpf-symbc = /Users/yannic/repositories/jpf-symbc
extensions = ${jpf-core},${jpf-symbc}

Make sure to use Java v8

yannic@Yannics-MacBook-Pro jpf-core % java -version
openjdk version "1.8.0_312"
OpenJDK Runtime Environment (Temurin)(build 1.8.0_312-b07)
OpenJDK 64-Bit Server VM (Temurin)(build 25.312-b07, mixed mode)

Prepare the jpf-core (i.e., JPF)

Get the Java-8 branch for jpf-core

GitHub - javapathfinder/jpf-core at java-8

git clone [email protected]:javapathfinder/jpf-core.git
git checkout -b java-8 origin/java-8

git branch
* java-8
  master

Build jpf-core

ant build