eth-sri/securify

Build fails with soufflev1.7+

conscott opened this issue · 1 comments

conscott commented

It seems a new version of souffle was released recently and build_souffle.sh fails with this new version. Uninstalling v1.7 and installing v1.6.2 seemed to fix this, and I was able to successfully run gradlew jar

I have checked the following

  • The souffle binary is available, output when running souffle:

Souffle: 1.6.2 (success) and 1.7.1 (failed)

  • Output of solc --version

Version: 0.5.13+commit.5b0b510c.Linux.g++

Steps to reproduce

Env: Ubuntu 16.04

  1. Pull master @ 2ebb518
  2. Java Version : openjdk version "1.8.0_222"
  3. Install v1.7.1 deb
  4. Run gradlew jar
ritzdorf commented

Hey @conscott ,

thanks for letting us know. We will update the documentation accordingly and see if we can adjust for the new version.