mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 13:33:32 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/why3: no need to die with emake

Browse Source 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
This commit is contained in:
François-Xavier Carton
2021-09-04 14:53:29 +02:00
parent dab2150f98
commit 6bd2366827
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/why3/why3-1.3.3.ebuild
View File

@@ -70,7 +70,7 @@ src_compile() {
src_install(){
findlib_src_preinst
emake install install-lib DESTDIR="${ED}" || die "make failed"
emake install install-lib DESTDIR="${ED}"
doman doc/why3.1
einstalldocs

2
sci-mathematics/why3/why3-1.4.0.ebuild
View File

@@ -74,7 +74,7 @@ src_compile() {
src_install(){
findlib_src_preinst
emake install install-lib DESTDIR="${ED}" || die "make failed"
emake install install-lib DESTDIR="${ED}"
einstalldocs
docompress -x /usr/share/doc/${PF}/examples