search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
295 stars 61 forks source link

A problem of "souffle-addon"? #67

Closed lwy0518 closed 1 year ago

lwy0518 commented 1 year ago

Hello! I have installed souffle-2.3 and downloaded gigahorse, but then I entered the "souffle-addon" and executed the command "make -j8", and the following error occurred: image image What is the reason for this problem? Looking forward to your reply. Thanks!

sifislag commented 1 year ago

Hi, can you also try using the 2.3 release version? Haven't had the same issue.

lwy0518 commented 1 year ago

Hi, the souffle version I installed is currently 2.3.

sifislag commented 1 year ago

It looks like a development version following the 2.3 release. For example when I run the souffle --version command I get this:

----------------------------------------------------------------------------
Version: 2.3
----------------------------------------------------------------------------
Copyright (c) 2016-22 The Souffle Developers.
Copyright (c) 2013-16 Oracle and/or its affiliates.
All rights reserved.
============================================================================
lwy0518 commented 1 year ago

I re-downloaded the souffle-2.3 installation package, and the results displayed after the installation are as follows: image image