Skip to content

Commit

Permalink
chore: add comment about missing library
Browse files Browse the repository at this point in the history
Signed-off-by: Ben Selwyn-Smith <[email protected]>
  • Loading branch information
benmss committed Jan 21, 2025
1 parent a6c386a commit fbb7c7e
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -145,6 +145,8 @@ else
endif
# If Souffle cannot be installed, we advise the user to install it manually
# and return status code 0, which is not considered a failure.
# Souffle depends upon the libffiX library, where X is the current version it requires. Depending on the version of Ubuntu being used, the exact library
# may not be present. In this script, we manually download and install version 7 on Ubuntu 24.04.
.PHONY: souffle
souffle:
if ! command -v souffle; then \
Expand Down

0 comments on commit fbb7c7e

Please sign in to comment.