Build fails with soufflev1.7+

[conscott]

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]

Hey @conscott ,

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