search

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Apache License 2.0
216 stars 50 forks source link

Build fails with soufflev1.7+ #111

Open conscott opened 4 years ago

conscott commented 4 years ago

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

Souffle: 1.6.2 (success) and 1.7.1 (failed)

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

Steps to reproduce

Env: Ubuntu 16.04

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

Hey @conscott ,

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