souffle-lang/souffle

A problem about souffle-2.3?

lwy0518 opened this issue · 2 comments

Hello! After I downloaded the souffle-2.3 installation package, then I entered the "souffle-addon" and executed the command "make -j8", and the following error occurred:
image

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

Hi, can you provide some detailed reproduction steps ?

Hi. I'm so sorry, it may be a problem with my downloaded project--"gigahorse". At present, I have successfully installed souffle-2.3, and I don't know the reason for the above problem.