A problem of "souffle-addon"?

[lwy0518]

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:


What is the reason for this problem? Looking forward to your reply. Thanks!

[sifislag]

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

[lwy0518]

Hi, the souffle version I installed is currently 2.3.

[sifislag]

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]

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