diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
| commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
| tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /sci-mathematics/prover9 | |
| parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) | |
gentoo resync : 15.01.2020
Diffstat (limited to 'sci-mathematics/prover9')
| -rw-r--r-- | sci-mathematics/prover9/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/prover9/prover9-2009.11a.ebuild | 19 |
2 files changed, 14 insertions, 7 deletions
diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest index 2bd301cb5f58..bc5c004d466b 100644 --- a/sci-mathematics/prover9/Manifest +++ b/sci-mathematics/prover9/Manifest @@ -1,5 +1,5 @@ AUX LADR-2009-11A-manpages.patch 13832 BLAKE2B dfd8d0ba6722d788b4e7662c0c4113cc06c32f2f45cdd32327896147435d3f730b464189ee1766a1c162a90cd730d917d8b29c3c241a94d65a3fc5833f3bbca1 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c DIST LADR-2009-11A-makefile.patch.xz 4300 BLAKE2B 3ea0860901876c43aeadcee7cf7eca02c31c88ca6670c867ef4a41b9adc2aa13edf36f45807713f7b200355f5086b43a17722071be81f58af1bc5d70327e3e41 SHA512 c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1 DIST LADR-2009-11A.tar.gz 1795750 BLAKE2B ed44b1d0f5f5f3c9846ff578af10914421c79f580db9f9002f105b87d7af49fb6f2956b70d2ebfbd17b3a230d1065aadb1cc798ef7ebdad8749e66cea41120b6 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7 -EBUILD prover9-2009.11a.ebuild 2500 BLAKE2B e96ca81caf95d6e426f4f14498bc56d08c0d0a905ec160b0cd468827b1edfb558974e42aa995f47c29c7c41a94ec8be86a1c20eb08fb9f20eef87f82d8cac204 SHA512 6a6f96016a260d7d393c5e2059bec9db085b504e7193380d4c4deae0e40376a908e92b419ee96eaa969f4abbcbae219f7a0f52f26c249507ce7c240ac6801960 +EBUILD prover9-2009.11a.ebuild 2522 BLAKE2B a10953e16079d207594094d61556a9f326b343852f07df266d7b9ef15802236162283de37d6e2e0aeb940fddb7f4704c78efaca4b490437c21c1eb0eb8eb3e9c SHA512 d4b7091cfb8a04fe3097fd720b9e7a48bc241d22e9d159a52e1585b0b58fea71ddc74b9781905b31207012e933d3c2b833664d3c45bcc579241ad9b89f876ad0 MISC metadata.xml 643 BLAKE2B cdef536d25ca7d2ba991037e4423c21bde719ae18976367e5e8d232d3f4d83f46b10c135f5f0f6986ba8d1756eee5cc85e78dfc4a4b81204945a7268a6ed899a SHA512 c3160f8aadceb5f065af9c5f14e9fe904b270bba1cf7781d33c39dca4f2641d61123839b93c4d7ad38139e8fc4c221016fe444cbfd7ddc99ea224090fccd7078 diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild index b9fe53f22b6a..1894b784a655 100644 --- a/sci-mathematics/prover9/prover9-2009.11a.ebuild +++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild @@ -1,13 +1,13 @@ -# Copyright 1999-2019 Gentoo Authors +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=5 +EAPI=7 -inherit eutils toolchain-funcs versionator +inherit eutils toolchain-funcs MY_PN="LADR" typeset -u MY_PV -MY_PV=$(replace_all_version_separators '-') +MY_PV=$(ver_rs 1 '-') MY_P="${MY_PN}-${MY_PV}" DESCRIPTION="Automated theorem prover for first-order and equational logic" @@ -29,8 +29,8 @@ PATCHES=( S="${WORKDIR}/${MY_P}/" src_prepare() { + default MAKEOPTS+=" -j1" - epatch "${PATCHES[@]}" sed \ -e "/^CC =/s:gcc:$(tc-getCC):g" \ -i */Makefile || die @@ -40,6 +40,12 @@ src_compile() { emake all } +src_test() { + emake test1 + emake test2 + emake test3 +} + src_install () { dobin \ bin/attack \ @@ -95,7 +101,8 @@ src_install () { manpages/rewriter.1 \ manpages/prover9-apps.1 - dohtml ladr/index.html.master ladr/html/* + docinto html + dodoc -r ladr/index.html.master ladr/html/* insinto /usr/$(get_libdir) dolib.so ladr/.libs/libladr.so.4.0.0 |