sci-mathematics/agda: fix Primitive.agdai build failure

Package-Manager: portage-2.2.20
gentoo-haskell · Aug 13, 2015 · 202a010 · 202a010
1 parent 1310850
commit 202a010
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/sci-mathematics/agda/agda-2.4.2.3-r1.ebuild b/sci-mathematics/agda/agda-2.4.2.3-r1.ebuild
@@ -97,9 +97,11 @@ src_install() {
 
 	haskell-cabal_src_install
 
+	export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
 	# generate Primitive.agdai, emulate Setup.hs postinst phase
 	Agda_datadir="${add}" \
-		"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda
+		"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda \
+		|| die "Failed to build 'Primitive.agdai'"
 
 	elisp-install ${PN} src/data/emacs-mode/*.el \
 		|| die "Failed to install emacs mode"

diff --git a/sci-mathematics/agda/agda-9999.ebuild b/sci-mathematics/agda/agda-9999.ebuild
@@ -100,9 +100,11 @@ src_install() {
 
 	haskell-cabal_src_install
 
+	export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
 	# generate Primitive.agdai, emulate Setup.hs postinst phase
 	Agda_datadir="${add}" \
-		"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda
+		"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda \
+		|| die "Failed to build 'Primitive.agdai'"
 
 	elisp-install ${PN} src/data/emacs-mode/*.el \
 		|| die "Failed to install emacs mode"