Skip to content

build: install libffi7 manually #964

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jan 23, 2025
Merged

build: install libffi7 manually #964

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
37e8356
fix: manually install libffi7
benmss Jan 17, 2025
a6c386a
chore: perform cleanup
benmss Jan 17, 2025
fbb7c7e
chore: add comment about missing library
benmss Jan 21, 2025
63ed420
chore: clarify comment
benmss Jan 21, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 6 additions & 1 deletion Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Copyright (c) 2022 - 2024, Oracle and/or its affiliates. All rights reserved.
# Copyright (c) 2022 - 2025, Oracle and/or its affiliates. All rights reserved.
# Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/.

# Use bash as the shell when executing a rule's recipe. For more details:
Expand Down 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 the Ubuntu operating system.
.PHONY: souffle
souffle:
if ! command -v souffle; then \
Expand All @@ -158,6 +160,9 @@ souffle:
sudo wget https://souffle-lang.github.io/ppa/souffle-key.public -O /usr/share/keyrings/souffle-archive-keyring.gpg; \
echo "deb [signed-by=/usr/share/keyrings/souffle-archive-keyring.gpg] https://souffle-lang.github.io/ppa/ubuntu/ stable main" | sudo tee /etc/apt/sources.list.d/souffle.list; \
sudo apt update; \
sudo wget http://archive.ubuntu.com/ubuntu/pool/main/libf/libffi/libffi7_3.3-4_amd64.deb; \
sudo dpkg -i libffi7_3.3-4_amd64.deb; \
rm libffi7_3.3-4_amd64.deb; \
sudo apt install souffle;; \
"Darwin") \
if command -v brew; then \
Expand Down
Loading