Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/psmt2-frontend/
Date: Wed, 27 May 2020 19:01:09
Message-Id: 1590606045.46c1b0e31c9201a28a9c83bf3704f135c60f0406.tupone@gentoo
1 commit: 46c1b0e31c9201a28a9c83bf3704f135c60f0406
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Wed May 27 19:00:45 2020 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Wed May 27 19:00:45 2020 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=46c1b0e3
7
8 sci-mathematics/psmt2-frontend: ignore CFLAGS warning
9
10 Closes: https://bugs.gentoo.org/725556
11 Package-Manager: Portage-2.3.99, Repoman-2.3.22
12 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
13
14 sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild | 11 ++++++++++-
15 1 file changed, 10 insertions(+), 1 deletion(-)
16
17 diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
18 index 5f6f9e6f4f3..09760d868d0 100644
19 --- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
20 +++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
21 @@ -1,4 +1,4 @@
22 -# Copyright 2019 Gentoo Authors
23 +# Copyright 2019-2020 Gentoo Authors
24 # Distributed under the terms of the GNU General Public License v2
25
26 EAPI=7
27 @@ -32,3 +32,12 @@ src_compile() {
28 emake depend
29 default
30 }
31 +
32 +src_install() {
33 + default
34 + QA_FLAGS_IGNORED=(
35 + /usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.o
36 + /usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.cmxs
37 + /usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.a
38 + )
39 +}