gentoo resync : 15.10.2017

6 files changed, 53 insertions, 77 deletions

diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
new file mode 100644
index 000000000000..88573a9c3b68
--- /dev/null
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -0,0 +1,3 @@
+DIST alt-ergo-1.30.tar.gz 380329 SHA256 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708 SHA512 6ac6abdc6602b0ba89ee58eb96c66ac93e8195e0b4f75595381eded86365c2dd881251de2b77e2f1137684651ddc7fd94f922509de0be2964d81f52a6fb0f2f2 WHIRLPOOL 45ac4e9f0f44e1deb30a32fb4d83624cf152dcbd734bc5baaf26f2460ac1eb67553049665ed733013bca3c3749af916510f8f0c3693eadada1d6df0949c017cc
+EBUILD alt-ergo-1.30.ebuild 732 SHA256 9778344f2ea04dc1c7d1307c472ef3b35c901fe6b6a4438f04e9f78cadf3a5d1 SHA512 39fed507ea5fd20dc150e6ee4c342ad5b48e766b1c10c9aa1957bf718aa60bf59bfa4888bc0ed48e7086f88f4ba84d4902c91b5202d4d66feee5dc05210b2bfe WHIRLPOOL efb76a45ba24f4bdbcb42a1b477d53a2c28d174385b4517e374a18177d0f4a24dcbec1015b5d10f1a348a8f6f72ea6aa59d0c4b0cf2af33c7bec8b5a8ac8fce7
+MISC metadata.xml 670 SHA256 7e84fe9865c5bd5b0998b506da0fae672c72e4b8923617c024f1bceecbc0ed67 SHA512 9e514e4da2b92aa1e8e8e084450f478b51947172b689664dfe6c0fe0eb139e278e13689c8ba53825cb3bc32140cfd4cd7a68fede0d013cd065d5339d34931e8d WHIRLPOOL 5c224a903d9ab9bbb28e4c49041cd12dfbf6d969855a0abd071ffff0e852957becc1734575979086c3b4aea43709d4ab00a7c3593a778e03120e7e77576814be
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
new file mode 100644
index 000000000000..46560c627430
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="http://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"
+RDEPEND="${DEPEND}"
+
+DOCS=( CHANGES INSTALL.md README.md )
+
+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
+}
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
new file mode 100644
index 000000000000..8e305fa324a8
--- /dev/null
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="person">
+		<email>tupone@gentoo.org</email>
+		<name>Tupone Alfredo</name>
+	</maintainer>
+	<longdescription lang="en">
+		Alt-Ergo is an open-source automatic solver of mathematical formulas
+		designed for program verification. It is based on Satisfiability Modulo
+		Theories (SMT). Solvers of this family have made impressive advances
+		and became very popular during the last decade. They are now used is
+		various domains such as hardware design, software verification and
+		formal testing.
+	</longdescription>
+</pkgmetadata>
diff --git a/sci-mathematics/rkward/Manifest b/sci-mathematics/rkward/Manifest
index 00c5a3dcdaee..f73970a58b3b 100644
--- a/sci-mathematics/rkward/Manifest
+++ b/sci-mathematics/rkward/Manifest
@@ -1,8 +1,4 @@
-DIST rkward-0.6.1.tar.gz 1529612 SHA256 7887bc22645a8e6de278da55e31a61acd91aca0ade777af11a110d0dfcfffde7 SHA512 5171b60ed42049de9e0f45b64f61a9bcf1fe8ba89e5a5a8b9ba77b9f7adb0d61630691adcb6636f5d5c5023c64a48220e85ea93c2ea09af34df2fa4be5d0cc9f WHIRLPOOL 2b195384dc0e093b445f7bf21c1f4bc2f378af7e51adb20f046a97e07d7f808b04eb3be9a35198b389b84edc79b3936d2f3d5e7eebc82ff3bb612465b813bcb3
-DIST rkward-0.6.5.tar.gz 3731011 SHA256 3fc5acb48ce717dee8fbbe32973ea4c61f30c335bd18a75471142b19b436a032 SHA512 7ea5016a0bc5bb6ed24e38252338142e32291aaff547dce9c3f61524b60395ce595803aa059580e56c38ed9600d09647acb2a8feb060819a0436475e4bf6f1b6 WHIRLPOOL d7dedc8cb1f65c124ea3d2a3f52c557477d3ce472c33a40df7e0c905d2ee18713dfe7980756058fc62d576661b26db4312f5ce0da017fac13477c670ea238904
 DIST rkward-0.6.5_p20170420.tar.xz 969148 SHA256 eb258cb901e65486adcd22d30d1520902533aa3bc8928041e22d5290b54ecad5 SHA512 904fb9065f7b0d14e5c015a20236a496bd8380ee8083f104203d1d9944f978da10b4e00be497ec55967c8137815f09843adcad2dd71051fbf8b50471a5c0c09f WHIRLPOOL 6288f68850ffa90c4f768921077ca5919f78ba91876cf8afeacd3dd04d83931192d2255d678c4e02789b3622ca100c01baf408068294058fde266b2c4415d848
-EBUILD rkward-0.6.1.ebuild 763 SHA256 38e9bc4f5b438c18b7e35beda858a9fef8e9d0606cd522133e803e266d9a3dc0 SHA512 3776f95949b81224cf46d86aab9840293cef64098e6132c8c1ab0285229b1f42003cb6b2bc1d334225878c9a2c23da75237ef464009bfdc45eeb5889f24651ef WHIRLPOOL c0346d311e77998efe25a095ddcf6634cddad04d55daec4e7ab2f9b2d8379f48970c43657a33007f1b5ee6db2f2bdc589e856db9552d91378a10f23ed9daba2f
-EBUILD rkward-0.6.5.ebuild 755 SHA256 7918208f519db8ecce23724f8dad35d28e6a273e6f81be33a75f6875317b7cbd SHA512 fb2d171365a77bdaf8392e6aafce803591d16a0334c3f92631240060c02a85937be223163ecbd7801a7c274478b91b7f21ddf4bb88ff29998266a52b2c7d5c4d WHIRLPOOL f4f834c25fd87e4bb6990d57609cc24979ee6f04f30d8d2530eb5fb6bb1d6366945cfa6247b4aea6d186ba4967193b9de02681ccaeb71431ac29bd579ee49408
 EBUILD rkward-0.6.5_p20170420.ebuild 1261 SHA256 300f03e20b66e40061b133a4b00e6ece7dbe961044abcf5a9b35518c42c59a7b SHA512 eba762c875a1f05c9bdcb8bb217a8e3c19a64e5af82023fc51539cd3526cadaca70795cfe37cad47491d924f518ce1bcee11e17941a370e1298d2088362eabad WHIRLPOOL 2b34365dee615cc4db9748903e8072df1f325cad98c7a0370e54afcdf8e6d8a82468715458ea611b0ae640d144f0c01ca0cb22bddfd6d3f9240f3f7e1ad51a3d
 MISC ChangeLog 2610 SHA256 ff634cfd1984f9504f5c900ab400704ab512e218ff27de8baa7b107330829360 SHA512 d66852fc9e5fd908bec9d7ec23668e58b43761c829bd82770e8b11df62d3cd3a6f3e69c376d0a2040b043f9efd116202d743a706d195d0f6ee1b99ff37477d82 WHIRLPOOL 1d0a98cbbe86317076d46b976339cf642f21f00955189eab6b42dae11799408bb987220e9eb32726474ba47a3d593936dce5e0e933e53515df71d02290e68390
 MISC ChangeLog-2015 6418 SHA256 b6190dd88880d49676fea2ff2e3067ce7a3478614bcc7ee90c2db01a77051283 SHA512 2f9161e4183bc9166faabf608e65e33b0fa51268594325c51a29286e426fbdc02b35f44201cba810f641fcb90da6e27dcb185551d15a567a6100e8c28bf7176c WHIRLPOOL 876e7af65774af827477bf5425429666a657d282dd5a74f696b98b9c471fdca3f949b9afa0c3f08289543156ee3f1c68a99feb68c1a82b024f951fcc57f28925
diff --git a/sci-mathematics/rkward/rkward-0.6.1.ebuild b/sci-mathematics/rkward/rkward-0.6.1.ebuild
deleted file mode 100644
index 3b6c48e9bc05..000000000000
--- a/sci-mathematics/rkward/rkward-0.6.1.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-KDE_DOC_DIRS="doc"
-KDE_HANDBOOK="optional"
-KDE_LINGUAS="ca cs da de el es fr it lt pl tr zh_CN"
-
-inherit kde4-base
-
-DESCRIPTION="IDE for the R-project"
-HOMEPAGE="http://rkward.sourceforge.net/"
-SRC_URI="mirror://sourceforge/rkward/${P}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="4"
-KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux"
-IUSE="debug"
-
-DEPEND="
-	dev-lang/R
-	$(add_kdeapps_dep katepart)"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	# to have it compatible with R which had a bad R_HOME
-	unset R_HOME
-	kde4-base_src_configure
-}
-
-src_install() {
-	kde4-base_src_install
-	# avoid file collision with kate
-	rm "${ED}"/usr/share/apps/katepart/syntax/r.xml || die
-}
diff --git a/sci-mathematics/rkward/rkward-0.6.5.ebuild b/sci-mathematics/rkward/rkward-0.6.5.ebuild
deleted file mode 100644
index 9b46de92e179..000000000000
--- a/sci-mathematics/rkward/rkward-0.6.5.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-KDE_DOC_DIRS="doc"
-KDE_HANDBOOK="optional"
-WEBKIT_REQUIRED="always"
-inherit kde4-base
-
-DESCRIPTION="IDE for the R-project"
-HOMEPAGE="https://rkward.kde.org/"
-SRC_URI="mirror://kde/stable/${PN}/${PV}/src/${P}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="4"
-KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux"
-IUSE="debug"
-
-DEPEND="
-	$(add_kdeapps_dep katepart)
-	dev-lang/R
-	x11-libs/libX11
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	# to have it compatible with R which had a bad R_HOME
-	unset R_HOME
-	kde4-base_src_configure
-}
-
-src_install() {
-	kde4-base_src_install
-	# avoid file collision with kate
-	rm "${ED}"/usr/share/apps/katepart/syntax/r.xml || die
-}