summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-12-11 22:00:51 +0100
committerAlfredo Tupone <tupone@gentoo.org>2022-12-11 22:07:57 +0100
commitab3a06e9c849c21c2e6e07d102bb583b14af2ba3 (patch)
tree63aff36c04f5ba2d9054fc46877cd5d445d8923f /dev-ada/langkit
parentdev-python/psycopg: Remove old (diff)
downloadgentoo-ab3a06e9c849c21c2e6e07d102bb583b14af2ba3.tar.gz
gentoo-ab3a06e9c849c21c2e6e07d102bb583b14af2ba3.tar.bz2
gentoo-ab3a06e9c849c21c2e6e07d102bb583b14af2ba3.zip
dev-ada/langkit: install liblangkit_sigsegv_handler.so
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada/langkit')
-rw-r--r--dev-ada/langkit/langkit-23.0.0-r1.ebuild (renamed from dev-ada/langkit/langkit-23.0.0.ebuild)2
1 files changed, 2 insertions, 0 deletions
diff --git a/dev-ada/langkit/langkit-23.0.0.ebuild b/dev-ada/langkit/langkit-23.0.0-r1.ebuild
index d384194e8cee..35be6b6a98d1 100644
--- a/dev-ada/langkit/langkit-23.0.0.ebuild
+++ b/dev-ada/langkit/langkit-23.0.0-r1.ebuild
@@ -101,4 +101,6 @@ python_install_all() {
if use shared; then
build relocatable
fi
+ gprinstall -v -P sigsegv_handler/langkit_sigsegv_handler.gpr -p -XBUILD_MODE=dev \
+ --prefix="${D}"/usr || die
}