From: Alfredo Tupone <tupone@gentoo.org>
Date: Wed, 27 May 2020 19:00:45 +0000 (+0200)
Subject: sci-mathematics/psmt2-frontend: ignore CFLAGS warning
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=46c1b0e31c9201a28a9c83bf3704f135c60f0406;p=gentoo.git

sci-mathematics/psmt2-frontend: ignore CFLAGS warning

Closes: https://bugs.gentoo.org/725556
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---

diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
index 5f6f9e6f4f39..09760d868d06 100644
--- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
+++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2019 Gentoo Authors
+# Copyright 2019-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -32,3 +32,12 @@ src_compile() {
 	emake depend
 	default
 }
+
+src_install() {
+	default
+	QA_FLAGS_IGNORED=(
+		/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.o
+		/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.cmxs
+		/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.a
+	)
+}