JavaPathFinder on Java 11

やっぱり、モデル検査のいいのがなくて。Go / Rustのが欲しいので書けよって気もするんですけどね

Java9 あたりで動かなくなってて見捨ててたんですが、githubのを見たら、Java 11 な build.gradle が。

Java8/Java21 では動かず。Open JDK Java11 で。Javaには、もう対ていく気ないし

Singularity なんですが、sif 作ると動かない。gradle が ~/.gradle に触ってしまうので、それを
移動する必要がある。あと、

　　gradle build -x test

とすると、なんと、RunJFP.jar を作らない。まぁ、test 待てば良いんだが

apt-get -y update
apt-get -y upgrade
apt-get -y install tzdata
apt-get -y install build-essential vim curl git
apt-get -y install rsync
apt-get -y install pkg-config libgl1-mesa-dev xorg-dev
apt-get -y install mercurial zsh
apt-get -y install locales file
locale-gen ja_JP.UTF-8
locale-gen en_US.UTF-8
DEBIAN_FRONTEND=noninteractive \
apt-get install -y \
wget \
openjdk-11-jre-headless unzip
java -version

mkdir /opt/gradle
cd /opt/gradle
wget -4 https://services.gradle.org/distributions/gradle-8.5-bin.zip
unzip gradle-8.5-bin.zip
export PATH=$PATH:/opt/gradle/gradle-8.5/bin

mkdir /opt/pathfinder
cd /opt
git clone https://github.com/javapathfinder/jpf-core.git
cd jpf-core
export GRADLE_USER_HOME=/opt/jpf-core
gradle build
# update-java-alternatives --set java-1.11.0-openjdk-amd64
# bin/jpf +classpath=build/examples DiningPhil