summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--app-admin/reprepro/ChangeLog16
-rw-r--r--app-admin/reprepro/Manifest4
-rw-r--r--app-admin/reprepro/metadata.xml9
-rw-r--r--app-admin/reprepro/reprepro-4.16.0.ebuild30
-rw-r--r--dev-ml/getarg/ChangeLog10
-rw-r--r--dev-ml/getarg/Manifest5
-rw-r--r--dev-ml/getarg/getarg-0.4.ebuild (renamed from dev-ml/getarg/getarg-0.1_p1.ebuild)2
-rw-r--r--dev-tex/mathpartir/ChangeLog10
-rw-r--r--dev-tex/mathpartir/Manifest5
-rw-r--r--dev-tex/mathpartir/mathpartir-1.2.1.ebuild (renamed from dev-tex/mathpartir/mathpartir-1.2.0-r1.ebuild)4
-rw-r--r--sci-mathematics/bedwyr/ChangeLog49
-rw-r--r--sci-mathematics/bedwyr/Manifest8
-rw-r--r--sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild96
-rw-r--r--sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild (renamed from sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild)37
14 files changed, 213 insertions, 72 deletions
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 <dawan@melix.net> +reprepro-4.16.0.ebuild,
+ +metadata.xml:
+ version bump
+
+*reprepro-4.12.3 (16 Nov 2012)
+
+ 16 Nov 2012; Matthew Schultz (mschultz) <mattsch@gmail.com>
+ +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 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer><email>quentin.heath@m4x.org</email></maintainer>
+ <use>
+ <flag name="archive">Enable archive support using <pkg>app-arch/libarchive</pkg></flag>
+ <flag name="gpgme">Enable gpgme support using <pkg>app-crypt/gpgme</pkg></flag>
+ </use>
+</pkgmetadata>
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 <dawan@melix.net> -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.4.ebuild
index 8885738..edfa2be 100644
--- a/dev-ml/getarg/getarg-0.1_p1.ebuild
+++ b/dev-ml/getarg/getarg-0.4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2013 Quentin Heath
+# Copyright 2015-2015 Quentin Heath
# Distributed under the terms of the GNU General Public License v2
# $Header: $
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 <dawan@melix.net> -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.1.ebuild
index fd0e91e..592622a 100644
--- a/dev-tex/mathpartir/mathpartir-1.2.0-r1.ebuild
+++ b/dev-tex/mathpartir/mathpartir-1.2.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2013 Quentin Heath
+# Copyright 2015-2015 Quentin Heath
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -37,7 +37,7 @@ src_test() {
}
src_install() {
- dodoc mathpartir.ps.gz mathpartir.pdf mathpartir.html
+ 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}
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 <dawan@melix.net> -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 <dawan@melix.net> -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 <dawan@melix.net> +bedwyr-1.3_rc2.ebuild:
+ 20 Jun 2015; Quentin Heath <dawan@melix.net> -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 <dawan@melix.net> -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 <dawan@melix.net> -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 <dawan@melix.net> +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_beta9.ebuild
index 93628db..74c0798 100644
--- a/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild
+++ b/sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2013 Quentin Heath
+# Copyright 2012-2015 Quentin Heath
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -7,21 +7,24 @@ EAPI=4
inherit eutils autotools
SLOT="1"
-MY_PV="${PV/_/-}"
-TARBALL_NAME="${PN}-${MY_PV}"
+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="https://gforge.inria.fr/frs/download.php/32337/${TARBALL_NAME}.tbz"
+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"
+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 )
->=sys-devel/autoconf-2.60
-!sci-mathematics/ndcore"
+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 )
@@ -35,7 +38,7 @@ S="${WORKDIR}/${TARBALL_NAME}"
#src_unpack()
src_prepare() {
- epatch "${FILESDIR}/${TARBALL_NAME}-handle-empty-wildcard-lists.patch"
+ #epatch "${FILESDIR}/..."
eautoconf
}
@@ -61,11 +64,11 @@ src_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
+ ## 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()
@@ -73,12 +76,6 @@ src_install() {
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()