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:
What is the reason for this problem? Looking forward to your reply.
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.