From ab5099a8efcf4adf7c62deeb7dea0ed172eb74e8 Mon Sep 17 00:00:00 2001 From: Quentin Heath Date: Sat, 20 Jun 2015 08:20:40 +0200 Subject: batch import --- app-admin/reprepro/ChangeLog | 16 +++++ app-admin/reprepro/Manifest | 4 ++ app-admin/reprepro/metadata.xml | 9 +++ app-admin/reprepro/reprepro-4.16.0.ebuild | 30 ++++++++ dev-ml/getarg/ChangeLog | 10 +++ dev-ml/getarg/Manifest | 5 +- dev-ml/getarg/getarg-0.1_p1.ebuild | 65 ----------------- dev-ml/getarg/getarg-0.4.ebuild | 65 +++++++++++++++++ dev-tex/mathpartir/ChangeLog | 10 +++ dev-tex/mathpartir/Manifest | 5 +- dev-tex/mathpartir/mathpartir-1.2.0-r1.ebuild | 59 --------------- dev-tex/mathpartir/mathpartir-1.2.1.ebuild | 59 +++++++++++++++ sci-mathematics/bedwyr/ChangeLog | 49 ++----------- sci-mathematics/bedwyr/Manifest | 8 ++- sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild | 96 +++++++++++++++++++++++++ sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild | 88 ----------------------- sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild | 85 ++++++++++++++++++++++ 17 files changed, 402 insertions(+), 261 deletions(-) create mode 100644 app-admin/reprepro/ChangeLog create mode 100644 app-admin/reprepro/Manifest create mode 100644 app-admin/reprepro/metadata.xml create mode 100644 app-admin/reprepro/reprepro-4.16.0.ebuild create mode 100644 dev-ml/getarg/ChangeLog delete mode 100644 dev-ml/getarg/getarg-0.1_p1.ebuild create mode 100644 dev-ml/getarg/getarg-0.4.ebuild create mode 100644 dev-tex/mathpartir/ChangeLog delete mode 100644 dev-tex/mathpartir/mathpartir-1.2.0-r1.ebuild create mode 100644 dev-tex/mathpartir/mathpartir-1.2.1.ebuild create mode 100644 sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild delete mode 100644 sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild create mode 100644 sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild diff --git a/app-admin/reprepro/ChangeLog b/app-admin/reprepro/ChangeLog new file mode 100644 index 0000000..73cf706 --- /dev/null +++ b/app-admin/reprepro/ChangeLog @@ -0,0 +1,16 @@ +# ChangeLog for app-admin/reprepro +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: $ + +*reprepro-4.16.0 (20 Jun 2015) + + 20 Jun 2015; Quentin Heath +reprepro-4.16.0.ebuild, + +metadata.xml: + version bump + +*reprepro-4.12.3 (16 Nov 2012) + + 16 Nov 2012; Matthew Schultz (mschultz) + +reprepro-4.12.3.ebuild, +metadata.xml: + New Ebuild for bug #443476. + diff --git a/app-admin/reprepro/Manifest b/app-admin/reprepro/Manifest new file mode 100644 index 0000000..94a5517 --- /dev/null +++ b/app-admin/reprepro/Manifest @@ -0,0 +1,4 @@ +DIST reprepro_4.16.0.orig.tar.gz 695240 SHA256 fdd2cae3f23b26e3b44734925af5afb76486a46bde104254eb04d8344d98f591 SHA512 d2d2893dfe3a43263993ea0bb8b18af20ed256ead05040193e32cab29c87714ccaeb343424067cf8531ef7a67da55d674f4268fdeedb48c1d9f0c87045e8a3c0 WHIRLPOOL 2c73e16a6f5bdfdad5ea5e9edf0807c01a8ce06ee6d93fdf9e536699ed4fa073b694c35a9746c24e1e96e66a9f286ed7b5b2afecfc4d5dbbdf34cdd3d4a2af13 +EBUILD reprepro-4.16.0.ebuild 778 SHA256 7270a85eb8b6f874511ec244ec9c77aa014f396ce2e8943eb8bd6aade8559c16 SHA512 e5866ad299bc63310a98f8ffd7192bdf618d9a21cbd7fcd8d0db84d859472b2361b5cd3f7658a3bd241d8cac3e452b4b7acb54af4f37178306bdca2e2d6682f6 WHIRLPOOL 0b5be11e06860abf846c0a5d68a1dbec053f85189a5933b62332b95fccae8d6af31fa43c38885037957af662f11b2d8a5cc57ea0ac2adea3ccdff8d96a308087 +MISC ChangeLog 423 SHA256 30f5d8e461149cc5ecc4e768835a73754e217cf5134202d3a54722fa028f09fc SHA512 26be66155f49d65539045d6d5ec56efd106f254725a0bd4847b223ab71ffa62b7c1db7de4513f08f97130a63bdf1dce65e1381afb63b935879a542ed0cb12307 WHIRLPOOL 44605901109dd8171729773d2b8aa120656093c38d88e59e542d45eb025a0ccf3f88c1d0f7df10cae06e511a644eeecf222d35134bc3a182b61a981577969b19 +MISC metadata.xml 396 SHA256 caab9fcbb5fd5ee6b243612430ed47bf56bf579daca0c1e90692d85b2d814559 SHA512 a1e222d44740e7567c3fc8611534beb7ad80a9ee5ef9e1f64a14e8b909aa9c47f193b86472f76e853ca3a6cb8a839c982d0b58f7264db732292c4e69a0dd05e0 WHIRLPOOL 47ebf1910b21461ff9b52c122d9dbb9cfe2d2028f998459b1eb92cc4c1e533ae8748115fcb6d66bfbfd82256f2bbdc29a3a91c22716ed3a78c0c6fbfc3b823ee diff --git a/app-admin/reprepro/metadata.xml b/app-admin/reprepro/metadata.xml new file mode 100644 index 0000000..6f3ae1d --- /dev/null +++ b/app-admin/reprepro/metadata.xml @@ -0,0 +1,9 @@ + + + + quentin.heath@m4x.org + + Enable archive support using app-arch/libarchive + Enable gpgme support using app-crypt/gpgme + + diff --git a/app-admin/reprepro/reprepro-4.16.0.ebuild b/app-admin/reprepro/reprepro-4.16.0.ebuild new file mode 100644 index 0000000..cac54a2 --- /dev/null +++ b/app-admin/reprepro/reprepro-4.16.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2012 Gentoo Foundation +# Copyright 2015-2015 Quentin Heath +# Distributed under the terms of the GNU General Public License v2 + +EAPI="4" + +inherit flag-o-matic + +DESCRIPTION="Debian APT repository creator and maintainer application" +HOMEPAGE="http://packages.debian.org/reprepro" +SRC_URI="https://alioth.debian.org/frs/download.php/file/4109/${PN}_${PV}.orig.tar.gz" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="archive bzip2 gpgme" + +DEPEND=">=sys-libs/db-4.3 + sys-libs/zlib + gpgme? ( app-crypt/gpgme dev-libs/libgpg-error ) + archive? ( app-arch/libarchive )" +RDEPEND="${DEPEND}" + +src_configure() { + use gpgme && append-cppflags -I/usr/include/gpgme + econf \ + $(use_with gpgme libgpgme) \ + $(use_with archive libarchive) \ + $(use_with bzip2 libbz2) +} diff --git a/dev-ml/getarg/ChangeLog b/dev-ml/getarg/ChangeLog new file mode 100644 index 0000000..b365852 --- /dev/null +++ b/dev-ml/getarg/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-ml/getarg +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: $ + +*getarg-0.4 (20 Jun 2015) + + 20 Jun 2015; Quentin Heath -getarg-0.1_p1.ebuild, + -getarg-0.1_p2.ebuild, +getarg-0.4.ebuild: + version bump + diff --git a/dev-ml/getarg/Manifest b/dev-ml/getarg/Manifest index 712561b..7484539 100644 --- a/dev-ml/getarg/Manifest +++ b/dev-ml/getarg/Manifest @@ -1,2 +1,3 @@ -DIST getarg-0.1-p1.tbz 23650 SHA256 6d0f592b82354d5204c374148e7fb700b1a21cd32e7f5f9953753e59122dc83b SHA512 b10016fc3479c0b968ff030df79f7f8fd1152460e9c6f79ebd0b347e5998c37df7b4c3795f28cfb7247c4c1414024d7e7aa09f45651c22e7c268b27cdaff71c3 WHIRLPOOL 14a01199344752da48bf78ba45ebc8634a90f54249b32bed2c6c1cf1cead39451d8433a0b9d535c68ff442e6707ee0814ecf41777c6f238ae9b60844944b4d64 -EBUILD getarg-0.1_p1.ebuild 1004 SHA256 ad54b63c6dffff46adeb33d78d641c2042952d3d284e9597b527c3fe08e4a6c1 SHA512 90563fa2952fc2053b7943c8335cddf3d67c50b74230d1198d7fd1936f1621cf794e1c1eda6e66bbd3ad8df148229903c3ba82fe46bfd95c518663aaf61449e9 WHIRLPOOL f698cb44a77756d4ac64f04dcc9b59eb2ed14ee0830eb2959fa32eb2b92dc00bc04c267f02e2ac753052865502fef9cc9d5daa6733e6698ef60b66c1d08e09b6 +DIST getarg-0.4.tbz 23853 SHA256 b9147a5f7d9988fb01404bec6abc7a3ecedc0ccbc0265d4fe49fdcc1cbbf863d SHA512 3854f5d5588209acb0adbc8552190683299c43ee22b2578eb2aa1bcfef755934351171e96704cdb0809e22a9660c2b59f1004f0e0200f1a60ad557c280403fbd WHIRLPOOL e90a9c1c55aec674c6b63e8bbcf66eac3351ba5eb88cfa6617edb248c5135d1f00b9d9e639a71a3e11a68275dbee593daf0a093f3981b253d101f3fea72058ee +EBUILD getarg-0.4.ebuild 1009 SHA256 211a752a31aaa181b70e48141f0b620569bd16efdaf9b2b790a5939bb03b9823 SHA512 474fd89d34b2e73f3b83b7f4468dcb074232a2ec97f9e6de65dbec820cf4b40812f89ca35a1b21b1b746109d7ef58de3ac41757d88e65aa1cef6070b2dc8ff81 WHIRLPOOL d1bcbf990910ed05fa6eae38fb6ab4de2874b1442bc471ebf767ca45e5c3136c4a1e32723a79e093d4303acd2988646d32c837ff0f3c150d84a0b3a6ad17010b +MISC ChangeLog 272 SHA256 fcd4215ed72f8e3cf4c96506016891c7914130dd0a955d0ef2bc9c49f2f951a0 SHA512 0f18bc22cfc106408463413bb64679208f70d99b4c5c628d8cb1e851b835a202b711ed622c2e5826b90105f7ae9261211773d45ae9823f9a6741a0c594dcdeb5 WHIRLPOOL c9cefbe01288642c6012b435f77f7487b0450f3f0bedcab01e875f7ab4f25dab116f0f3b26e439fca6e5196f07e1401ef9428c7441b5b4450e983e1d1ff7921a diff --git a/dev-ml/getarg/getarg-0.1_p1.ebuild b/dev-ml/getarg/getarg-0.1_p1.ebuild deleted file mode 100644 index 8885738..0000000 --- a/dev-ml/getarg/getarg-0.1_p1.ebuild +++ /dev/null @@ -1,65 +0,0 @@ -# Copyright 2013 Quentin Heath -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ - -EAPI=4 - -inherit eutils autotools - -SLOT="0" -MY_PV="${PV/_/-}" -TARBALL_NAME="${PN}-${MY_PV}" - -DESCRIPTION="OCaml command-line option parser" -HOMEPAGE="http://gitorious.org/hippomail/getarg/" -SRC_URI="http://www.lix.polytechnique.fr/~heath/releases/tarballs/${TARBALL_NAME}.tbz" - -LICENSE="GPL-3" -KEYWORDS="~amd64 ~x86" -IUSE="+ocamlopt debug doc" - -DEPEND=">=dev-lang/ocaml-3.11.0[ocamlopt?] ->=sys-devel/autoconf-2.60" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/${TARBALL_NAME}" - - -#pkg_setup() - -#src_unpack() - -src_prepare() { - eautoconf -} - -src_configure() { - local myconf="--no-create" - econf $myconf \ - $(use_enable ocamlopt nativecode) \ - $(use_enable debug) \ - $(use_enable doc) -} - -src_compile() { - emake -j1 - use doc && emake -j1 doc -} - -src_test() { - emake -j1 test -} - -src_install() { - emake -j1 DESTDIR="${D}" install -} - -#pkg_preinst() - -#pkg_postinst() - -#pkg_prerm() - -#pkg_postrm() - -#pkg_config() diff --git a/dev-ml/getarg/getarg-0.4.ebuild b/dev-ml/getarg/getarg-0.4.ebuild new file mode 100644 index 0000000..edfa2be --- /dev/null +++ b/dev-ml/getarg/getarg-0.4.ebuild @@ -0,0 +1,65 @@ +# Copyright 2015-2015 Quentin Heath +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=4 + +inherit eutils autotools + +SLOT="0" +MY_PV="${PV/_/-}" +TARBALL_NAME="${PN}-${MY_PV}" + +DESCRIPTION="OCaml command-line option parser" +HOMEPAGE="http://gitorious.org/hippomail/getarg/" +SRC_URI="http://www.lix.polytechnique.fr/~heath/releases/tarballs/${TARBALL_NAME}.tbz" + +LICENSE="GPL-3" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt debug doc" + +DEPEND=">=dev-lang/ocaml-3.11.0[ocamlopt?] +>=sys-devel/autoconf-2.60" +RDEPEND="${DEPEND}" + +S="${WORKDIR}/${TARBALL_NAME}" + + +#pkg_setup() + +#src_unpack() + +src_prepare() { + eautoconf +} + +src_configure() { + local myconf="--no-create" + econf $myconf \ + $(use_enable ocamlopt nativecode) \ + $(use_enable debug) \ + $(use_enable doc) +} + +src_compile() { + emake -j1 + use doc && emake -j1 doc +} + +src_test() { + emake -j1 test +} + +src_install() { + emake -j1 DESTDIR="${D}" install +} + +#pkg_preinst() + +#pkg_postinst() + +#pkg_prerm() + +#pkg_postrm() + +#pkg_config() diff --git a/dev-tex/mathpartir/ChangeLog b/dev-tex/mathpartir/ChangeLog new file mode 100644 index 0000000..b2b3ceb --- /dev/null +++ b/dev-tex/mathpartir/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-tex/mathpartir +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: $ + +*mathpartir-1.2.1 (20 Jun 2015) + + 20 Jun 2015; Quentin Heath -mathpartir-1.2.0-r1.ebuild, + +mathpartir-1.2.1.ebuild: + tarball bump + diff --git a/dev-tex/mathpartir/Manifest b/dev-tex/mathpartir/Manifest index 94c9f7d..f2dc923 100644 --- a/dev-tex/mathpartir/Manifest +++ b/dev-tex/mathpartir/Manifest @@ -1,3 +1,4 @@ -DIST mathpartir.tgz 325049 SHA256 2697072b6615ced3601e9596f45507a199565078c67eff465e21e2d3c5b91bfe SHA512 fec136cf9acc211ea2c8e90bd458a1e316db9a8a62357e7cafbe9a321ca4800136a009adba10ed9fb5275f7af6bfefc1cd8ca85b848e22c0aa540892df753970 WHIRLPOOL 4ee5a4858cb49f966f34bbd7e0cfc1af5e0d94f417fabec4e1f8d5a433e4f3cd0e1f167ecf420c7380e0c75656ba2325dd5ea1daafcbe4ed3d53cf46f7efe1f7 -EBUILD mathpartir-1.2.0-r1.ebuild 909 SHA256 9495e4bdc532845663add3825720d82b8cf9f9a5a1105ab1eb8869ba8c49b343 SHA512 d6b1894f63ffd86e7535c2ed181d51b55fd4860bcf6e82c86bdda90977f3b7f74939ac027f4805b37879b60a45eb9ce9450834645124660fb29fbe6f5c0ecf3f WHIRLPOOL a5df0b073c80b62d23c53aa47b212aa1ca396876c433e73b4dde494f768c8693f888caa4f103f2b0e6f81b65d4a6073cd1617007255a73cd4611f16d611189a3 +DIST mathpartir.tgz 321844 SHA256 16f0fee01556efea02327219cc0115ad30524ec5106af63697a9bb8557d14cc4 SHA512 5011b215ef4bd1bc14be24d6483fe6d0f6882651c2a39aaf28eaf47fe4296ddd995bfb27b6d9009bf69d21ea648f68333bc37afc50ab0a6776223e2de30dbdb7 WHIRLPOOL 91c4f4460b26b9ba8a9f844d0f31595b76503d6581d290d181f4a0f2ab2ad573adec6516891e996fca83a1782771dd7408261a2cd74277680f3e05d67249cb75 +EBUILD mathpartir-1.2.1.ebuild 913 SHA256 43b0b804eb78df106a59714ae2a41bd98c306a683fba3e8e242ecd2b6a2ea9c3 SHA512 2322b95f3a89285e5ade9fc7703e83b1f83473021bda24c16e6a20369b86bd6948c0834615982885eaf4ad1289769af405422105877bfa875161bb954913c70b WHIRLPOOL 3a9f76c9a04feadb0bcf7bdfa8fb8956f6facddc8f3490cd82c98919c5cf6ab0660a5fb43461bbe45a2d65908237a7e73772d660e8e0cfe2fb8e2b79994756b8 +MISC ChangeLog 272 SHA256 eb94066fc56a117d7866d7a2d07633d9cf1e39c0c523926df9ce2b963eaaac32 SHA512 3684a3297772eef9edb0cbd222fb8580f0e6feebd5c99fd625bfc747a2445eca15d6dfb4afb39a0fcb74ad1ea8de46d1e5b77a38a0bd297de9ac2adb3d9e8fac WHIRLPOOL 532fc2bf20aa078c0cc8a596e372261f08e32a002c0048fd3e9bbf4fdba349dabefc01bf124082bba337c46e426cf159a2c0bd348ee3ecba501c92d5975c2abf MISC metadata.xml 1254 SHA256 6b2bb55730c2bf38199324089eea2e4c030a184df3e42dc6345864d53a1315ac SHA512 549565fee446f857d79fa79d881b8fb0141808047131bb5de86eb5db88d3200cafbccb5082f778362da7f59451fac940c21674f90a42754819f9880ebe218ca4 WHIRLPOOL 5e2bbfa1fc16f9f77ba2c9393ea10642dbaacd071498821c612ea69ace1b9550ed5b081f8f3e48d1a202ad82e378720cfe411bb5588ea3c6f0d7a22bfdf8703d diff --git a/dev-tex/mathpartir/mathpartir-1.2.0-r1.ebuild b/dev-tex/mathpartir/mathpartir-1.2.0-r1.ebuild deleted file mode 100644 index fd0e91e..0000000 --- a/dev-tex/mathpartir/mathpartir-1.2.0-r1.ebuild +++ /dev/null @@ -1,59 +0,0 @@ -# Copyright 2013 Quentin Heath -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ - -EAPI=4 - -inherit eutils - -SLOT="0" - -DESCRIPTION="LaTeX macros for typesetting inference rules" -HOMEPAGE="http://cristal.inria.fr/~remy/latex/" -SRC_URI="http://cristal.inria.fr/~remy/latex/${PN}.tgz" - -LICENSE="GPL-2" -KEYWORDS="~amd64 ~x86" -IUSE="doc" - -DEPEND="doc? ( app-text/texlive[extra] dev-tex/hevea )" -RDEPEND="${DEPEND}" - -S="${WORKDIR}" - - -#pkg_setup() - -#src_unpack() - -#src_prepare() - -#src_configure() - -#src_compile() - -src_test() { - true -} - -src_install() { - dodoc mathpartir.ps.gz mathpartir.pdf mathpartir.html - insinto /usr/share/texmf/tex/latex/${PN} - doins mathpartir.sty - insinto /usr/share/doc/texmf/latex/${PN} - doins mathpartir.tex mathpartir.dvi -} - -#pkg_preinst() - -pkg_postinst() { - mktexlsr /usr/share/texmf -} - -#pkg_prerm() - -pkg_postrm() { - mktexlsr /usr/share/texmf -} - -#pkg_config() diff --git a/dev-tex/mathpartir/mathpartir-1.2.1.ebuild b/dev-tex/mathpartir/mathpartir-1.2.1.ebuild new file mode 100644 index 0000000..592622a --- /dev/null +++ b/dev-tex/mathpartir/mathpartir-1.2.1.ebuild @@ -0,0 +1,59 @@ +# Copyright 2015-2015 Quentin Heath +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=4 + +inherit eutils + +SLOT="0" + +DESCRIPTION="LaTeX macros for typesetting inference rules" +HOMEPAGE="http://cristal.inria.fr/~remy/latex/" +SRC_URI="http://cristal.inria.fr/~remy/latex/${PN}.tgz" + +LICENSE="GPL-2" +KEYWORDS="~amd64 ~x86" +IUSE="doc" + +DEPEND="doc? ( app-text/texlive[extra] dev-tex/hevea )" +RDEPEND="${DEPEND}" + +S="${WORKDIR}" + + +#pkg_setup() + +#src_unpack() + +#src_prepare() + +#src_configure() + +#src_compile() + +src_test() { + true +} + +src_install() { + dodoc mathpartir.ps.gz mathpartir.pdf mathpartir.dvi + insinto /usr/share/texmf/tex/latex/${PN} + doins mathpartir.sty + insinto /usr/share/doc/texmf/latex/${PN} + doins mathpartir.tex mathpartir.dvi +} + +#pkg_preinst() + +pkg_postinst() { + mktexlsr /usr/share/texmf +} + +#pkg_prerm() + +pkg_postrm() { + mktexlsr /usr/share/texmf +} + +#pkg_config() diff --git a/sci-mathematics/bedwyr/ChangeLog b/sci-mathematics/bedwyr/ChangeLog index dfb8722..f08cd3e 100644 --- a/sci-mathematics/bedwyr/ChangeLog +++ b/sci-mathematics/bedwyr/ChangeLog @@ -1,48 +1,13 @@ # ChangeLog for sci-mathematics/bedwyr -# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ -*bedwyr-1.4_alpha9 (15 Aug 2013) +*bedwyr-1.4_beta9 (20 Jun 2015) - 15 Aug 2013; Quentin Heath -bedwyr-1.4_alpha1.ebuild, - +bedwyr-1.4_alpha9.ebuild: - - version bump - - fix man symlinks - -*bedwyr-1.4_alpha1 (13 Jul 2012) - - 13 Jul 2012; Quentin Heath -bedwyr-1.3_rc2.ebuild, - +bedwyr-1.4_alpha1.ebuild: - - version bump - - no more parallel build (because of ocamlbuild) - - sci-mathematics/ndcore and sci-mathematics/bedwyr merged - - better package layout but empty documentation - -*bedwyr-1.3_rc2 (29 Feb 2012) - - 29 Feb 2012; Quentin Heath +bedwyr-1.3_rc2.ebuild: + 20 Jun 2015; Quentin Heath -bedwyr-1.3_beta6.ebuild, + -bedwyr-1.3_beta8-r2.ebuild, -bedwyr-1.3_beta10.ebuild, + -bedwyr-1.4_alpha1.ebuild, -bedwyr-1.4_alpha9.ebuild, + +bedwyr-1.4_beta9.ebuild, -files/bedwyr-1.3-beta8-src-Makefile.in.patch, + -files/bedwyr-1.4-alpha9-handle-empty-wildcard-lists.patch: version bump -*bedwyr-1.3_beta10 (24 Feb 2012) - - 24 Feb 2012; Quentin Heath -bedwyr-1.3_beta8-r2.ebuild, - +bedwyr-1.3_beta10.ebuild: - version bump - -*bedwyr-1.3_beta8-r2 (15 Feb 2012) - - 15 Feb 2012; Quentin Heath -bedwyr-1.3_beta6.ebuild, - -bedwyr-1.3_beta8.ebuild, +bedwyr-1.3_beta8-r2.ebuild, - +files/bedwyr-1.3-beta8-src-Makefile.in.patch: - - version bump - - parallel make allowed - - doc built during compilation - - patch for broken makefile dependencies - -*bedwyr-1.3_beta8 (14 Feb 2012) -*bedwyr-1.3_beta6 (14 Feb 2012) - - 14 Feb 2012; Quentin Heath +bedwyr-1.3_beta6.ebuild, - +bedwyr-1.3_beta8.ebuild, +metadata.xml: - initial ebuild - diff --git a/sci-mathematics/bedwyr/Manifest b/sci-mathematics/bedwyr/Manifest index 0b9b3db..2f9bdc2 100644 --- a/sci-mathematics/bedwyr/Manifest +++ b/sci-mathematics/bedwyr/Manifest @@ -1,4 +1,6 @@ -DIST bedwyr-1.4-alpha9.tbz 205169 SHA256 416603c231a3cfe0f7b79135425845ce6a7824c4d1a414d411c870f03139fb8e SHA512 ba8d14df1c05826ce97018546bf93fc2972d52a3cde17b2177d1f06351d214d38dac74a4235eb984beb8d69b591e393b2fc53f7816e009b01023448b523d38cd WHIRLPOOL 4463412874550e73bd7e086b361c71ac44f15766954cb5c3c7b3eaad881b28d268ac768cf91d628a80cb08d694e4e94f5626690a29462f847b9ad51e52ece8ec -EBUILD bedwyr-1.4_alpha9.ebuild 1953 SHA256 859aa0b6fff6e4fa72f4bc38a577c62651003b3f615199d2f617eb62c9a0ee55 SHA512 4ce8418c19d01e2ef7c2acf1d16b2e9ef9b87dea3f403851a7c318e517f577d9198d58ba3d8a33448fcefc94e1cc1c7afc23222a57d214fbd65de1ccd5898c10 WHIRLPOOL ac8a327fe20778b04a2ca53c60cc183586e5817ae5fd55dc3d568317f23973b7afc869e0efeca6be1d125eca7a858d2f47841eb2c4df5a50041ff5151d584645 -MISC ChangeLog 1420 SHA256 4d4d29cc68ef961e74578fe160b764fc813f03c51018377764b4aa2751d575a5 SHA512 d9ce3156294a0ed6506fb0d5cc9d4373f112e8c01397c8ae045a404c4d2f6234cfa78a4c965e5bf7547be076040f44fcaea0b58682bbb31ad92c4e713229bfd1 WHIRLPOOL f842f21709a9c9268fbb3b1e6aa638a09122908e0fe1ce930d8c84ca70c7bd40f60727da6830c18c85c222e260bb1daab5892e713a0669c5902f93d06b9d3f86 +DIST bedwyr-1.3-rc2.tar.bz2 117380 SHA256 4fd136e4836a936aa018e0cc1e853041009d2f0a69c0c2bbb1b762f2a02d7744 SHA512 e0b31ca105de2f712274c9f17ffedd1e6733a2a11c61ead29cb5d0e8f85f77b06e2bc2749303340e2a9893515294432d2a8649103b42f430a36bd392ffd3f16a WHIRLPOOL 454e7149efda8001352e1d0233dcacdf6aa75d4751bc4e76ea9df18a081302cd0bb3f38ba80a22b51e3c74458181f35b85b6f952552863b7e649605d5c14c432 +DIST bedwyr_1.4~beta9.orig.tar.gz 241044 SHA256 d4695afb7ae30e184617d25d5014dd6b4248df0d9a8d87b7764b0390a59b23d3 SHA512 b30ddd8eef657dfcf4326dc3a56d2ead98c6e705bb55f033c3eb2ccc670f0fe002fad964a3f949fb801edb5f9986d197c8d85a0c6d6eb9417525c48ec6b2f871 WHIRLPOOL 550f25bab115c84e12acf76801ebbb664f216b35dad952382a529fbcf349b8250d149c692e047215542f857b7666e51ceaaea711394fefb044f9185010fdd6d6 +EBUILD bedwyr-1.3_rc2.ebuild 2076 SHA256 e8b5cca3ce1ad7db024bcd29df4d66b1a93078cd8c54737727696030b79b1406 SHA512 9a86e0b820981818e49271f0ce0e4fe5b41c589f7722d13424713dd2d987119b72d0d37c5c6c525784a80ed8588d098c730486f6495a3ae3a64c3d3814aa54b6 WHIRLPOOL ea1d15b78b523bef782ca21355fab9b7193ffff03ba1b168c95e1a7dc2fd8724862ebb61cc08350f42362cc53e82f3ad5c74cbde89df9cc1e8fc7b4eef31ef8f +EBUILD bedwyr-1.4_beta9.ebuild 1808 SHA256 5a9f86f8b3c61010928696645f76fa014fa10252759b510773a436b0e51341c5 SHA512 f85790bfcd3eb620971776425a093366a6fa330b66024a8f6b7c2f55e1890531424debd9ea9aaa2e2a6e3e02961abdecb9bb84886d249c6346ee6e97e34516e1 WHIRLPOOL c1e22e88dadfbb7fc322bddbeab8d02a6aedff44f7b66a3134fc5c83a9d51cc4b430fe777391022732d0bd52c739ffdb409ef8f453e323cefaa1d7cefd05c628 +MISC ChangeLog 496 SHA256 d579cf28aa1d913eaab8952d07d9e057b468b455a869b1f90a80d3b24586f5fc SHA512 b3b09c2a306db43cf60fb6ec54de476ffc8733e1904b09a3cb28036d3f0b48aaaa111c8961062ffad16ce3606f2959a4bdc514288df495d141e4aaed5bcfe09e WHIRLPOOL a99460ca4760a6197c669dc5dbb592dd975e2383c24216746a45b9836fc26558ddbf13e5531578e954e884336e1e597d47c2c8db19f8b931717435ac71077a11 MISC metadata.xml 1386 SHA256 68531530ddae77f43095e13ddeede6a3eb3b1a0b95e7d112758a7dca9e2f4889 SHA512 8ff18ef060d150c744bfc563d84da266c8b6ee92f1d798ced9303d2b5830fa8cb08028776e40f2f3cbc912a9fdaa569fea194ad2f5e83f3e5e9b5f9fe4c2b33a WHIRLPOOL a65aa613ae738bd0611311444fa2b1df8cf1f19435f949fa335c9dd7bd581d7493c0d2b3aad56faf3824518b5b0cf17f70743b45f8eb925f3a577f94b24bdcc5 diff --git a/sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild b/sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild new file mode 100644 index 0000000..3ba776e --- /dev/null +++ b/sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild @@ -0,0 +1,96 @@ +# Copyright 1999-2012 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=4 + +inherit eutils autotools + +MY_PV="${PV/_/-}" +TARBALL_NAME="bedwyr-${MY_PV}" + +DESCRIPTION="Bedwyr, the not-so-sound logician" +HOMEPAGE="http://slimmer.gforge.inria.fr/bedwyr/" +SRC_URI="https://gforge.inria.fr/frs/download.php/30289/${TARBALL_NAME}.tar.bz2" + +LICENSE="GPL-2" +SLOT="1" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt vim-syntax emacs -tac -spec +rlwrap ledit debug doc" + +DEPEND=">=dev-lang/ocaml-3.10.0[ocamlopt?] +doc? ( virtual/latex-base dev-texlive/texlive-latexextra dev-tex/hevea ) +sys-devel/autoconf +~sci-mathematics/ndcore-${PV}[ocamlopt?]" +RDEPEND="${DEPEND} +rlwrap? ( app-misc/rlwrap ) +ledit? ( app-misc/ledit ) +vim-syntax? ( >=app-editors/vim-7 ) +emacs? ( virtual/emacs ) +tac? ( sci-mathematics/tac ) +spec? ( sci-mathematics/spec )" + +S="${WORKDIR}/${TARBALL_NAME}" + + +#pkg_setup() + +#src_unpack () { +# unpack ${A} +# rpm_src_unpack ${A} +#} + +src_prepare() { + eautoconf +} + +src_configure() { +# local myconf="--prefix=${EPREFIX}/media/devel/chroot" + local myconf="" + + econf $myconf \ + $(use_enable ocamlopt nativecode) \ + $(use_enable debug) \ + $(use_enable doc) +# ./configure \ +# --prefix=/usr/local \ +# --infodir=/usr/share/info \ +# --mandir=/usr/share/man || die +} + +src_compile() { + emake TARGET="${PN}" + emake TARGET="${PN}" doc +} + +src_test() { + emake TARGET="${PN}" test +} + +src_install() { + emake TARGET="${PN}" DESTDIR="${D}" install + #emake \ + # prefix="${D}"/usr/local \ + # mandir="${D}"/usr/share/man \ + # infodir="${D}"/usr/share/info \ + # libdir="${D}"/usr/$(get_libdir) \ + # install || die + #einstall || die "install failed" +} + +#pkg_preinst() + +pkg_postinst() { + einfo "Please read the doc. And don't hesitate to comment." + + use rlwrap && einfo "Add \"alias bedwyr='rlwrap bedwyr'\" to ~/.alias" \ + && einfo "to ease use (readline version)." + use ledit && einfo "Add \"alias bedwyr='ledit -h ~/.bedwyr_history bedwyr'\"" \ + && einfo "to ~/.alias to ease use (ledit version)." +} + +#pkg_prerm() + +#pkg_postrm() + +#pkg_config() diff --git a/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild b/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild deleted file mode 100644 index 93628db..0000000 --- a/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild +++ /dev/null @@ -1,88 +0,0 @@ -# Copyright 1999-2013 Quentin Heath -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ - -EAPI=4 - -inherit eutils autotools - -SLOT="1" -MY_PV="${PV/_/-}" -TARBALL_NAME="${PN}-${MY_PV}" - -DESCRIPTION="Bedwyr, the not-so-sound logician" -HOMEPAGE="http://slimmer.gforge.inria.fr/bedwyr/" -SRC_URI="https://gforge.inria.fr/frs/download.php/32337/${TARBALL_NAME}.tbz" - -LICENSE="GPL-2" -KEYWORDS="~amd64 ~x86" -IUSE="+ocamlopt vim-syntax +rlwrap ledit debug doc" - -DEPEND=">=dev-lang/ocaml-3.11.0[ocamlopt?] -doc? ( app-text/texlive[extra] dev-tex/hevea dev-tex/mathpartir ) ->=sys-devel/autoconf-2.60 -!sci-mathematics/ndcore" -RDEPEND="${DEPEND} -rlwrap? ( app-misc/rlwrap ) -ledit? ( app-misc/ledit ) -vim-syntax? ( >=app-editors/vim-7 )" - -S="${WORKDIR}/${TARBALL_NAME}" - - -#pkg_setup() - -#src_unpack() - -src_prepare() { - epatch "${FILESDIR}/${TARBALL_NAME}-handle-empty-wildcard-lists.patch" - eautoconf -} - -src_configure() { - # TODO at some point, use the emacs, tac and spec flags - local myconf="--no-create" - econf $myconf \ - $(use_enable ocamlopt nativecode) \ - $(use_enable debug) \ - $(use_enable doc) \ - $(use_with vim-syntax vimfiles) -} - -src_compile() { - emake -j1 - use doc && emake -j1 doc -} - -src_test() { - emake -j1 test -} - -src_install() { - emake -j1 DESTDIR="${D}" install - - # fix manpage renaming - rm "${D}/usr/share/man/man1/bedwyr.byte.1.gz" - ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.byte.1.bz2 - rm "${D}/usr/share/man/man1/bedwyr.native.1.gz" - ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.native1.bz2 -} - -#pkg_preinst() - -pkg_postinst() { - einfo "Refer to quickstart.html and refman/index.html." - einfo "Any feedack is welcome." - - use rlwrap && einfo \ - "Add \"alias bedwyr='rlwrap -c -Cbedwyr -D2 -g'\\''^(n|y)$'\\'' -m \ --pgreen -q'\\''\\\"'\\'' bedwyr'\" to ~/.alias." - use ledit && einfo \ - "Add \"alias bedwyr='ledit -h ~/.bedwyr_history bedwyr'\" to ~/.alias." -} - -#pkg_prerm() - -#pkg_postrm() - -#pkg_config() diff --git a/sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild b/sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild new file mode 100644 index 0000000..74c0798 --- /dev/null +++ b/sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild @@ -0,0 +1,85 @@ +# Copyright 2012-2015 Quentin Heath +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=4 + +inherit eutils autotools + +SLOT="1" +MY_PV1="${PV/_alpha/~alpha}" +MY_PV2="${MY_PV1/_beta/~beta}" +MY_PV3="${MY_PV2/_/-}" +TARBALL_NAME="${PN}-${MY_PV3}" + +DESCRIPTION="Bedwyr, the not-so-sound logician" +HOMEPAGE="http://slimmer.gforge.inria.fr/bedwyr/" +SRC_URI="http://slimmer.gforge.inria.fr/releases/debian/pool/main/b/bedwyr/bedwyr_1.4~beta9.orig.tar.gz" + +LICENSE="GPL-2" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt vim-syntax +rlwrap ledit debug doc test" + +DEPEND=">=dev-lang/ocaml-3.11.0[ocamlopt?] +doc? ( app-text/texlive[extra] dev-tex/hevea dev-tex/mathpartir app-text/ghostscript-gpl ) +test? ( dev-ml/ounit ) +dev-ml/xmlm +>=sys-devel/autoconf-2.60" +RDEPEND="${DEPEND} +rlwrap? ( app-misc/rlwrap ) +ledit? ( app-misc/ledit ) +vim-syntax? ( >=app-editors/vim-7 )" + +S="${WORKDIR}/${TARBALL_NAME}" + + +#pkg_setup() + +#src_unpack() + +src_prepare() { + #epatch "${FILESDIR}/..." + eautoconf +} + +src_configure() { + # TODO at some point, use the emacs, tac and spec flags + local myconf="--no-create" + econf $myconf \ + $(use_enable ocamlopt nativecode) \ + $(use_enable debug) \ + $(use_enable doc) \ + $(use_with vim-syntax vimfiles) +} + +src_compile() { + emake -j1 + use doc && emake -j1 doc +} + +src_test() { + emake -j1 test +} + +src_install() { + emake -j1 DESTDIR="${D}" install + + ## fix manpage renaming + #rm "${D}/usr/share/man/man1/bedwyr.byte.1.gz" + #ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.byte.1.bz2 + #rm "${D}/usr/share/man/man1/bedwyr.native.1.gz" + #ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.native1.bz2 +} + +#pkg_preinst() + +pkg_postinst() { + einfo "Refer to quickstart.html and refman/index.html." + einfo "Any feedack is welcome." +} + +#pkg_prerm() + +#pkg_postrm() + +#pkg_config() -- cgit v1.2.3-65-gdbad