projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4009532) | patch
sci-mathematics/agda: fix .agdai file generation on install, bug #559326
authorSergei Trofimovich <slyfox@gentoo.org>
Sun, 27 Sep 2015 17:54:38 +0000 (18:54 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Sun, 27 Sep 2015 17:54:38 +0000 (18:54 +0100)
commit6c5210c2c89fea8b5462ad4ea1c6070c75c9b52b
tree0b578013d4dc7906f0d9dc4e6469b174796a77bctree | snapshot
parent4009532b821f7b5ea4d3462cac05d1e54ed5a137commit | diff
sci-mathematics/agda: fix .agdai file generation on install, bug #559326

As we build dynamically linked binaries now we need to
add LD_LIBRARY_PATH to temporary llibrary localtions
to generate .agdai files.

Reported-by: Toralf Förster
Bug: https://bugs.gentoo.org/559326

Package-Manager: portage-2.2.22
sci-mathematics/agda/agda-2.4.2.3-r2.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.