From f516638b7fe9592837389826a6152a7e1b251c54 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 30 May 2020 11:44:06 +0100 Subject: gentoo resync : 30.05.2020 --- sci-mathematics/psmt2-frontend/Manifest | 2 +- sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild | 11 ++++++++++- 2 files changed, 11 insertions(+), 2 deletions(-) (limited to 'sci-mathematics/psmt2-frontend') diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest index 1c63be52d587..3aac5e4f68bb 100644 --- a/sci-mathematics/psmt2-frontend/Manifest +++ b/sci-mathematics/psmt2-frontend/Manifest @@ -1,4 +1,4 @@ AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e97be37510241291339e4d7c4e677ef247cc9dd28728df4fcdb6a0819aa8d1ccb6233d65cb206cbf78dcf9004af7744a7b SHA512 6ec9c1c89ceb023b57820f083722b4c4a693a27c38fcc63a9bf6403853c716a398f055a8db579e683a03f2ca8ccfcd9235796ce1f44867d47805279f6a0a8700 DIST psmt2-frontend-0.2.tar.gz 26976 BLAKE2B 2b45ceb8d824f5b11455ad0026064b6329b6c6e6173c091b36dc42e8c1dd36924d12d9296db3dcfe748a84fdc37a1a530f3ef485bec904c19a0e6aa8034149f9 SHA512 c29802f4265a1cbdb05ee9154ce2c156136af258bc7283dd0fb1d1b2ce162b671553cab96484036d898e3ff7c26ab133f5c2e1ca88e9e48660b2faa139fd1f41 -EBUILD psmt2-frontend-0.2.ebuild 716 BLAKE2B 3d44765040405bf5beb779dd7f1fb388c0dfaba41aa14d84a144482f7acd5c354e87845b24fed33e145981850124a1ec73e4914ec091ce9eb93b0f56631cb3fa SHA512 678f6e15cff8e3d1cec09affed6e70e6ad596f9936fdf8f87ac69c08eacda841a0e64b92a6bd3420683fc5a661969569b139ff0a996cec65f90680ba88b586a9 +EBUILD psmt2-frontend-0.2.ebuild 949 BLAKE2B c86ff25357b7d930a560559921f063bbd9fdfbe055eb2e06413e3619ec1834c24052718b30e022be46761846c57176e81fb5fa0374bb98b2c2be41b31c094a3f SHA512 db228543428bb17b0b7bb313deadebc6b01edf034bd48879aeed33fdb26a90f5cd51e3f95884dfff5bcce77a602ac64d95af7a4390350e96d7a77d6d89801feb MISC metadata.xml 247 BLAKE2B ca08677c4c0af66af431abe578122a2ea0278f7ffabab245eec806167a6226c65f97e9826d64fc4b82eb14b6200cd1e3a31a5b4999e18aac41a4f9af43d708d6 SHA512 fff6c25e644477aaa35b838e10c44ca8eae9824ef8f19795e31201db40c10068f0216dec38deb0ba80782155b43fd1d72fb888cb825eaabacc3bd1ec0d18f3ca 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 + ) +} -- cgit v1.2.3