Build Failing 2

[Flavio Beck]

Hello @pietrobraione ,

last fail was really fixed according to you tips.

I am still trying to build.. but now I have some problem to install glpk..

to make it easier, should be possible you make available a ready-to-build docker image (maybe upload an image at dockerhub)
suggestion: install all dependecies into this image (and provide a dockerfile should be great).
So anyone could run a container using this image, clone sushi repo and just run ./gradlew build.

meanwhile, could you give me some tip to fix this error ?

root@ubuntu-sushi:/data/sushi# ./gradlew build

FAILURE: Build failed with an exception.

* What went wrong:
Could not determine the dependencies of task ':sushi-master:shadowJar'.
> Could not resolve all dependencies for configuration ':sushi-master:runtimeClasspath'.
   > Could not find org.gnu.glpk:glpk-java:1.11.0-1.
     Searched in the following locations:
       - https://repo.maven.apache.org/maven2/org/gnu/glpk/glpk-java/1.11.0-1/glpk-java-1.11.0-1.pom
       - https://www.xypron.de/repository/org/gnu/glpk/glpk-java/1.11.0-1/glpk-java-1.11.0-1.pom
       - file:/usr/lib/jvm/adoptopenjdk-8-hotspot-amd64/lib/glpk-java-1.11.0-1.jar
       - file:/usr/lib/jvm/adoptopenjdk-8-hotspot-amd64/lib/glpk-java.jar
       - file:/data/sushi/jbse/libs/glpk-java-1.11.0-1.jar
       - file:/data/sushi/jbse/libs/glpk-java.jar
     Required by:
         project :sushi-master

[Flavio Beck]

I found the problem:
def glpkJavaVersion = '1.12.0' instead of
def glpkJavaVersion = '1.12.0-1'

Other problem I found:
JBSE was looking for z3 at /opt/local/bin/z3
but it was installed on /usr/bin/z3

I fixed this using symbolic link

now build is successful
BUILD SUCCESSFUL in 19s
19 actionable tasks: 13 executed, 6 up-to-date

tks

[Flavio Beck]

you can close it