gentoo resync : 02.08.2019

3 files changed, 47 insertions, 3 deletions

diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index bb9077b89f00..92813d443d77 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,3 +1,5 @@
 DIST alt-ergo-1.30.tar.gz 380329 BLAKE2B fab16757ed110474cf8f9d01ab53f76b6a300eb478b32bbfd6bb79d7603b1f5c2fc5c97bf44358eb138283f3487ef90febd23865723a4721b01bd870cfdd6507 SHA512 6ac6abdc6602b0ba89ee58eb96c66ac93e8195e0b4f75595381eded86365c2dd881251de2b77e2f1137684651ddc7fd94f922509de0be2964d81f52a6fb0f2f2
-EBUILD alt-ergo-1.30.ebuild 729 BLAKE2B 0084ec01dae4d2721c5feefa73bc8fb0143be410769201db6d7b9672cdfb3fa623546f60da5bf1f235d35e264a6f4edae9dc21e04988acbf6a0fbdc8584661a2 SHA512 cc7669a3e7e44fd029b14faf7f912a45b8a5cf4a6570e3e116ace9a8fbd20bae20f00c75aa22129eb77b7f4efe3d1ad37f1a27beb67b6d9e3a6ec8f48ded5962
+DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21
+EBUILD alt-ergo-1.30.ebuild 735 BLAKE2B e875147f8814ba6b81a8cd4c352691289002129d34be71fdd89d758a99b136b37acdce1f38f52cc9c2d7ad74cff8bf548fa4384e7b529a2ec2b4aa7cf2174fe3 SHA512 8acf024245c85c16d6d74a6400a1fcc5b7c7c17fdfaf713f77e8c1de0b9f29e615a1085c283f064c0f22de2e0c0dc0625a1d430ef89506d3976da6b1c0d414ca
+EBUILD alt-ergo-2.3.0.ebuild 936 BLAKE2B bec8b3a17a4802c3238f277e67271671652a308a8f927ddab3b31b1ff20ebe0f9557dcb3ad9159e945f9f77e29d1fc4d754f9a066643cd74e8792cd2625671c5 SHA512 1025018fcec4c48aeaff5f94468e430f601e1387d75104bc5545e36c67ad3a1a7c226396be566603c6787da3b009e198910fa2d797602fab7bbe4977176dbea5
 MISC metadata.xml 670 BLAKE2B 5f03c359cb298cc9a0fea6ef3a5deb092e5ccca7acfb2b7a5630303659bfd853fe86277ebbfb1fb7b6677d45dde2d5c68d55fffa8d3d8187acac3765f52df7c9 SHA512 9e514e4da2b92aa1e8e8e084450f478b51947172b689664dfe6c0fe0eb139e278e13689c8ba53825cb3bc32140cfd4cd7a68fede0d013cd065d5339d34931e8d
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index e5229fc89224..80b72760c868 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Authors
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=6
@@ -16,7 +16,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
 	dev-ml/zarith
 	gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
 	dev-ml/camlzip
-	dev-ml/ocplib-simplex"
+	<=dev-ml/ocplib-simplex-0.3"
 RDEPEND="${DEPEND}"
 
 DOCS=( CHANGES INSTALL.md README.md )
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
new file mode 100644
index 000000000000..69ade990ba8f
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -0,0 +1,42 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="https://alt-ergo.ocamlpro.com"
+SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
+
+LICENSE="CeCILL-C"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="examples gtk +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
+	dev-ml/zarith
+	gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
+	dev-ml/camlzip
+	>=dev-ml/ocplib-simplex-0.4
+	>=dev-ml/menhir-20181006
+	dev-ml/dune"
+RDEPEND="${DEPEND}"
+
+DOCS=( CHANGES INSTALL.md README.md )
+
+src_configure() {
+	./configure --prefix /usr --libdir=/usr/$(get_libdir)
+}
+
+src_compile() {
+	emake
+	use gtk && emake gui
+}
+
+src_install() {
+	default
+	use gtk && emake DESTDIR="${D}" install-gui
+	insinto /usr/share/doc/${PF}
+	use examples && doins -r examples
+	mv "${D}"/usr/doc/* "${D}"/usr/share/doc/${PF}/ || die
+	rmdir "${D}"/usr/doc || die
+}