parent
3b08d622f2
commit
03d9d1ded0
@ -0,0 +1,12 @@
|
||||
Bug #448778
|
||||
--- krb5-1.11/src/krb5-config.in 2012-12-18 02:47:04.000000000 +0000
|
||||
+++ krb5-1.11/src/krb5-config.in 2012-12-28 07:13:16.582693363 +0000
|
||||
@@ -217,7 +217,7 @@
|
||||
-e 's#\$(PROG_RPATH)#'$libdir'#' \
|
||||
-e 's#\$(PROG_LIBPATH)#'$libdirarg'#' \
|
||||
-e 's#\$(RPATH_FLAG)#'"$RPATH_FLAG"'#' \
|
||||
- -e 's#\$(LDFLAGS)#'"$LDFLAGS"'#' \
|
||||
+ -e 's#\$(LDFLAGS)##' \
|
||||
-e 's#\$(PTHREAD_CFLAGS)#'"$PTHREAD_CFLAGS"'#' \
|
||||
-e 's#\$(CFLAGS)##'`
|
||||
|
@ -0,0 +1,116 @@
|
||||
# Copyright 1999-2012 Gentoo Foundation
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
# $Header: /var/cvsroot/gentoo-x86/app-crypt/mit-krb5/mit-krb5-1.11-r1.ebuild,v 1.1 2012/12/28 07:29:59 eras Exp $
|
||||
|
||||
EAPI="4"
|
||||
inherit eutils flag-o-matic versionator
|
||||
|
||||
MY_P="${P/mit-}"
|
||||
P_DIR=$(get_version_component_range 1-2)
|
||||
DESCRIPTION="MIT Kerberos V"
|
||||
HOMEPAGE="http://web.mit.edu/kerberos/www/"
|
||||
SRC_URI="http://web.mit.edu/kerberos/dist/krb5/${P_DIR}/${MY_P}-signed.tar"
|
||||
|
||||
LICENSE="openafs-krb5-a BSD MIT OPENLDAP BSD-2 HPND BSD-4 ISC RSA CCPL-Attribution-ShareAlike-3.0 || ( BSD-2 GPL-2+ )"
|
||||
SLOT="0"
|
||||
KEYWORDS="~amd64 ~arm ~hppa ~ia64 ~ppc ~x86"
|
||||
IUSE="doc +keyutils openldap +pkinit +threads test xinetd"
|
||||
|
||||
RDEPEND="!!app-crypt/heimdal
|
||||
>=sys-libs/e2fsprogs-libs-1.41.0
|
||||
dev-libs/libverto
|
||||
keyutils? ( sys-apps/keyutils )
|
||||
openldap? ( net-nds/openldap )
|
||||
pkinit? ( dev-libs/openssl )
|
||||
xinetd? ( sys-apps/xinetd )"
|
||||
DEPEND="${RDEPEND}
|
||||
virtual/yacc
|
||||
doc? ( virtual/latex-base )
|
||||
test? ( dev-lang/tcl
|
||||
dev-lang/python
|
||||
dev-util/dejagnu )"
|
||||
|
||||
S=${WORKDIR}/${MY_P}/src
|
||||
|
||||
src_unpack() {
|
||||
unpack ${A}
|
||||
unpack ./"${MY_P}".tar.gz
|
||||
}
|
||||
|
||||
src_prepare() {
|
||||
epatch "${FILESDIR}/${PN}-1.11_uninitialized.patch"
|
||||
epatch "${FILESDIR}/${PN}_krb5-config_LDFLAGS.patch"
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
append-cppflags "-I${EPREFIX}/usr/include/et"
|
||||
# QA
|
||||
append-flags -fno-strict-aliasing
|
||||
append-flags -fno-strict-overflow
|
||||
|
||||
use keyutils || export ac_cv_header_keyutils_h=no
|
||||
econf \
|
||||
$(use_with openldap ldap) \
|
||||
"$(use_with test tcl "${EPREFIX}/usr")" \
|
||||
$(use_enable pkinit) \
|
||||
$(use_enable threads thread-support) \
|
||||
--without-hesiod \
|
||||
--enable-shared \
|
||||
--with-system-et \
|
||||
--with-system-ss \
|
||||
--enable-dns-for-realm \
|
||||
--enable-kdc-lookaside-cache \
|
||||
--with-system-verto \
|
||||
--disable-rpath
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
emake -j1
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake \
|
||||
DESTDIR="${D}" \
|
||||
EXAMPLEDIR="${EPREFIX}/usr/share/doc/${PF}/examples" \
|
||||
install
|
||||
|
||||
# default database dir
|
||||
keepdir /var/lib/krb5kdc
|
||||
|
||||
cd ..
|
||||
dodoc README
|
||||
|
||||
if use doc; then
|
||||
dohtml -r doc/html/*
|
||||
docinto pdf
|
||||
dodoc doc/pdf/*.pdf
|
||||
fi
|
||||
|
||||
newinitd "${FILESDIR}"/mit-krb5kadmind.initd-r1 mit-krb5kadmind
|
||||
newinitd "${FILESDIR}"/mit-krb5kdc.initd-r1 mit-krb5kdc
|
||||
newinitd "${FILESDIR}"/mit-krb5kpropd.initd-r1 mit-krb5kpropd
|
||||
|
||||
insinto /etc
|
||||
newins "${ED}/usr/share/doc/${PF}/examples/krb5.conf" krb5.conf.example
|
||||
insinto /var/lib/krb5kdc
|
||||
newins "${ED}/usr/share/doc/${PF}/examples/kdc.conf" kdc.conf.example
|
||||
|
||||
if use openldap ; then
|
||||
insinto /etc/openldap/schema
|
||||
doins "${S}/plugins/kdb/ldap/libkdb_ldap/kerberos.schema"
|
||||
fi
|
||||
|
||||
if use xinetd ; then
|
||||
insinto /etc/xinetd.d
|
||||
newins "${FILESDIR}/kpropd.xinetd" kpropd
|
||||
fi
|
||||
}
|
||||
|
||||
pkg_preinst() {
|
||||
if has_version "<${CATEGORY}/${PN}-1.8.0" ; then
|
||||
elog "MIT split the Kerberos applications from the base Kerberos"
|
||||
elog "distribution. Kerberized versions of telnet, rlogin, rsh, rcp,"
|
||||
elog "ftp clients and telnet, ftp deamons now live in"
|
||||
elog "\"app-crypt/mit-krb5-appl\" package."
|
||||
fi
|
||||
}
|
@ -0,0 +1,32 @@
|
||||
--- setup.py 2012-11-29 11:01:22.000000000 -0500
|
||||
+++ setup.py.wanted 2012-12-27 23:55:56.679344322 -0500
|
||||
@@ -39,17 +39,6 @@
|
||||
return True
|
||||
|
||||
|
||||
-test_requirements = [
|
||||
- 'pytest',
|
||||
-]
|
||||
-"dependencies for running tests"
|
||||
-
|
||||
-if sys.version_info < (2, 7) or (
|
||||
- sys.version_info >= (3, 0) and sys.version_info < (3, 1)):
|
||||
- # Require unittest2 for Python which doesn't contain the new unittest
|
||||
- # module (appears in Python 2.7 and Python 3.1)
|
||||
- test_requirements.append('unittest2')
|
||||
-
|
||||
setup_params = dict(
|
||||
name = 'keyring',
|
||||
version = "1.0",
|
||||
@@ -74,11 +63,6 @@
|
||||
platforms = ["Many"],
|
||||
packages = ['keyring', 'keyring.tests', 'keyring.util',
|
||||
'keyring.backends'],
|
||||
- extras_require = {'test': test_requirements},
|
||||
- tests_require = test_requirements,
|
||||
- setup_requires = [
|
||||
- 'pytest-runner',
|
||||
- ],
|
||||
)
|
||||
|
||||
|
@ -1,25 +1,39 @@
|
||||
# Copyright 1999-2012 Gentoo Foundation
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
# $Header: /var/cvsroot/gentoo-x86/dev-python/keyring/keyring-1.0.ebuild,v 1.1 2012/12/19 20:47:59 prometheanfire Exp $
|
||||
# $Header: /var/cvsroot/gentoo-x86/dev-python/keyring/keyring-1.0.ebuild,v 1.2 2012/12/28 05:34:57 prometheanfire Exp $
|
||||
# Ebuild generated by g-pypi 0.2.2 (rev. 214)
|
||||
|
||||
EAPI=4
|
||||
|
||||
inherit distutils
|
||||
inherit distutils eutils
|
||||
|
||||
MY_PN=${PN#python-}
|
||||
S="${WORKDIR}/${MY_PN}-${PV}"
|
||||
DESCRIPTION="Provides a easy way to access the system keyring service from
|
||||
python."
|
||||
HOMEPAGE="http://pypi.python.org/pypi/keyring"
|
||||
HOMEPAGE="https://bitbucket.org/kang/python-keyring-lib"
|
||||
SRC_URI="mirror://pypi/k/${MY_PN}/${MY_PN}-${PV}.zip"
|
||||
LICENSE="BSD-2"
|
||||
LICENSE="PSF-2"
|
||||
KEYWORDS="~amd64 ~x86"
|
||||
SLOT="0"
|
||||
IUSE=""
|
||||
DEPEND="dev-python/setuptools"
|
||||
IUSE="test"
|
||||
DEPEND="dev-python/setuptools
|
||||
test? ( dev-python/pytest
|
||||
dev-python/pytest-runner
|
||||
dev-python/unittest2 )"
|
||||
RDEPEND=""
|
||||
|
||||
src_prepare() {
|
||||
epatch "${FILESDIR}/setup-1.0.patch"
|
||||
}
|
||||
|
||||
src_test() {
|
||||
PYTHONPATH="build/lib" "$(PYTHON)" keyring/tests/test_util.py
|
||||
PYTHONPATH="build/lib" "$(PYTHON)" keyring/tests/test_backend.py
|
||||
PYTHONPATH="build/lib" "$(PYTHON)" keyring/tests/test_core.py
|
||||
PYTHONPATH="build/lib" "$(PYTHON)" keyring/tests/test_cli.py
|
||||
}
|
||||
|
||||
src_install() {
|
||||
distutils_src_install
|
||||
}
|
||||
|
@ -0,0 +1,12 @@
|
||||
--- setup.py.orig 2012-12-28 01:01:07.865345417 -0500
|
||||
+++ setup.py 2012-12-28 01:01:17.003360680 -0500
|
||||
@@ -14,9 +14,6 @@
|
||||
'distutils.commands':
|
||||
['ptr = ptr:PyTest'],
|
||||
},
|
||||
- setup_requires=[
|
||||
- 'hgtools',
|
||||
- ],
|
||||
)
|
||||
if __name__ == '__main__':
|
||||
setuptools.setup(**setup_params)
|
@ -1,6 +1,6 @@
|
||||
# Copyright 1999-2012 Gentoo Foundation
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
# $Header: /var/cvsroot/gentoo-x86/mail-mta/postfix/postfix-2.10_pre20121226.ebuild,v 1.1 2012/12/27 07:43:50 eras Exp $
|
||||
# $Header: /var/cvsroot/gentoo-x86/mail-mta/postfix/postfix-2.10_pre20121227.ebuild,v 1.1 2012/12/28 07:27:30 eras Exp $
|
||||
|
||||
EAPI=4
|
||||
inherit eutils multilib ssl-cert toolchain-funcs flag-o-matic pam user versionator
|
@ -1 +1 @@
|
||||
Fri, 28 Dec 2012 05:36:52 +0000
|
||||
Fri, 28 Dec 2012 08:06:51 +0000
|
||||
|
@ -1 +1 @@
|
||||
Fri, 28 Dec 2012 05:36:52 +0000
|
||||
Fri, 28 Dec 2012 08:06:51 +0000
|
||||
|
@ -0,0 +1,13 @@
|
||||
DEFINED_PHASES=compile configure install preinst prepare unpack
|
||||
DEPEND=!!app-crypt/heimdal >=sys-libs/e2fsprogs-libs-1.41.0 dev-libs/libverto keyutils? ( sys-apps/keyutils ) openldap? ( net-nds/openldap ) pkinit? ( dev-libs/openssl ) xinetd? ( sys-apps/xinetd ) virtual/yacc doc? ( virtual/latex-base ) test? ( dev-lang/tcl dev-lang/python dev-util/dejagnu )
|
||||
DESCRIPTION=MIT Kerberos V
|
||||
EAPI=4
|
||||
HOMEPAGE=http://web.mit.edu/kerberos/www/
|
||||
IUSE=doc +keyutils openldap +pkinit +threads test xinetd
|
||||
KEYWORDS=~amd64 ~arm ~hppa ~ia64 ~ppc ~x86
|
||||
LICENSE=openafs-krb5-a BSD MIT OPENLDAP BSD-2 HPND BSD-4 ISC RSA CCPL-Attribution-ShareAlike-3.0 || ( BSD-2 GPL-2+ )
|
||||
RDEPEND=!!app-crypt/heimdal >=sys-libs/e2fsprogs-libs-1.41.0 dev-libs/libverto keyutils? ( sys-apps/keyutils ) openldap? ( net-nds/openldap ) pkinit? ( dev-libs/openssl ) xinetd? ( sys-apps/xinetd )
|
||||
SLOT=0
|
||||
SRC_URI=http://web.mit.edu/kerberos/dist/krb5/1.11/krb5-1.11-signed.tar
|
||||
_eclasses_=eutils d40dc948067bd3db1c8ebf7d51897313 flag-o-matic 61ad55e732e494378165e7dcd4744b91 multilib 9aa8a023e062fca0ba79362d9d0cc488 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4 user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4
|
||||
_md5_=f694de480788cc08871229be71a8c47e
|
@ -1,12 +1,13 @@
|
||||
DEFINED_PHASES=compile install postinst postrm prepare setup
|
||||
DEPEND=dev-python/setuptools dev-lang/python
|
||||
DEFINED_PHASES=compile install postinst postrm prepare setup test
|
||||
DEPEND=dev-python/setuptools test? ( dev-python/pytest dev-python/pytest-runner dev-python/unittest2 ) dev-lang/python
|
||||
DESCRIPTION=Provides a easy way to access the system keyring service from python.
|
||||
EAPI=4
|
||||
HOMEPAGE=http://pypi.python.org/pypi/keyring
|
||||
HOMEPAGE=https://bitbucket.org/kang/python-keyring-lib
|
||||
IUSE=test
|
||||
KEYWORDS=~amd64 ~x86
|
||||
LICENSE=BSD-2
|
||||
LICENSE=PSF-2
|
||||
RDEPEND=dev-lang/python
|
||||
SLOT=0
|
||||
SRC_URI=mirror://pypi/k/keyring/keyring-1.0.zip
|
||||
_eclasses_=distutils 15ae23f6f8219a009bfcfff7724fe727 multilib 9aa8a023e062fca0ba79362d9d0cc488 python e5b3412fa9f03670a666c8a137bd1060 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4
|
||||
_md5_=9f1d2bc678a99136bd4a11d9e997d5a1
|
||||
_eclasses_=distutils 15ae23f6f8219a009bfcfff7724fe727 eutils d40dc948067bd3db1c8ebf7d51897313 multilib 9aa8a023e062fca0ba79362d9d0cc488 python e5b3412fa9f03670a666c8a137bd1060 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4 user d0a4d0735a6c0183d707ca919bd72f28
|
||||
_md5_=10832f43a73f71298615400166bbca77
|
||||
|
@ -1,12 +1,12 @@
|
||||
DEFINED_PHASES=compile install postinst postrm prepare setup
|
||||
DEPEND=dev-python/setuptools dev-python/hgtools dev-lang/python
|
||||
DEPEND=dev-python/hgtools dev-python/setuptools dev-lang/python
|
||||
DESCRIPTION=Adds support for tests durring installation of setup.py files.
|
||||
EAPI=4
|
||||
HOMEPAGE=http://pypi.python.org/pypi/pytest-runner
|
||||
KEYWORDS=~amd64 ~x86
|
||||
LICENSE=MIT
|
||||
RDEPEND=dev-lang/python
|
||||
RDEPEND=dev-python/pytest dev-lang/python
|
||||
SLOT=0
|
||||
SRC_URI=mirror://pypi/p/pytest-runner/pytest-runner-1.1.zip
|
||||
_eclasses_=distutils 15ae23f6f8219a009bfcfff7724fe727 multilib 9aa8a023e062fca0ba79362d9d0cc488 python e5b3412fa9f03670a666c8a137bd1060 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4
|
||||
_md5_=bbe361a9b47c850da096e61e5048a889
|
||||
_eclasses_=distutils 15ae23f6f8219a009bfcfff7724fe727 eutils d40dc948067bd3db1c8ebf7d51897313 multilib 9aa8a023e062fca0ba79362d9d0cc488 python e5b3412fa9f03670a666c8a137bd1060 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4 user d0a4d0735a6c0183d707ca919bd72f28
|
||||
_md5_=d8e43fa0e95e1c332c96a1fa62941208
|
||||
|
@ -1,14 +1,14 @@
|
||||
DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
|
||||
DEPEND=dev-libs/iniparser dev-libs/popt sys-libs/readline virtual/libiconv >=dev-lang/python-2.4.2 dev-python/subunit sys-libs/libcap >=sys-libs/ldb-1.1.13 >=sys-libs/tdb-1.2.10[python] >=sys-libs/talloc-2.0.7[python] >=sys-libs/tevent-0.9.17 sys-libs/zlib >=app-crypt/heimdal-1.5[-ssl] ads? ( client? ( net-fs/cifs-utils[ads] ) ) client? ( net-fs/cifs-utils ) cluster? ( >=dev-db/ctdb-1.0.114_p1 ) ldap? ( net-nds/openldap ) gnutls? ( >=net-libs/gnutls-1.4.0 ) selinux? ( sec-policy/selinux-samba ) virtual/pkgconfig =dev-lang/python-2* dev-lang/python !dev-lang/python[-threads]
|
||||
DEPEND=dev-libs/iniparser dev-libs/popt sys-libs/readline virtual/libiconv >=dev-lang/python-2.4.2 dev-python/subunit sys-libs/libcap >=sys-libs/ldb-1.1.13 >=sys-libs/tdb-1.2.10[python] >=sys-libs/talloc-2.0.7[python] >=sys-libs/tevent-0.9.17 sys-libs/zlib >=app-crypt/heimdal-1.5[-ssl] client? ( net-fs/cifs-utils[ads?] ) cluster? ( >=dev-db/ctdb-1.0.114_p1 ) ldap? ( net-nds/openldap ) gnutls? ( >=net-libs/gnutls-1.4.0 ) selinux? ( sec-policy/selinux-samba ) virtual/pkgconfig =dev-lang/python-2* dev-lang/python !dev-lang/python[-threads]
|
||||
DESCRIPTION=Samba Suite Version 4
|
||||
EAPI=4
|
||||
HOMEPAGE=http://www.samba.org/
|
||||
IUSE=acl addns ads aio avahi client cluster cups gnutls iprint ldap pam quota selinux swat syslog winbind
|
||||
KEYWORDS=~amd64 ~x86
|
||||
LICENSE=GPL-3
|
||||
RDEPEND=dev-libs/iniparser dev-libs/popt sys-libs/readline virtual/libiconv >=dev-lang/python-2.4.2 dev-python/subunit sys-libs/libcap >=sys-libs/ldb-1.1.13 >=sys-libs/tdb-1.2.10[python] >=sys-libs/talloc-2.0.7[python] >=sys-libs/tevent-0.9.17 sys-libs/zlib >=app-crypt/heimdal-1.5[-ssl] ads? ( client? ( net-fs/cifs-utils[ads] ) ) client? ( net-fs/cifs-utils ) cluster? ( >=dev-db/ctdb-1.0.114_p1 ) ldap? ( net-nds/openldap ) gnutls? ( >=net-libs/gnutls-1.4.0 ) selinux? ( sec-policy/selinux-samba ) =dev-lang/python-2*
|
||||
RDEPEND=dev-libs/iniparser dev-libs/popt sys-libs/readline virtual/libiconv >=dev-lang/python-2.4.2 dev-python/subunit sys-libs/libcap >=sys-libs/ldb-1.1.13 >=sys-libs/tdb-1.2.10[python] >=sys-libs/talloc-2.0.7[python] >=sys-libs/tevent-0.9.17 sys-libs/zlib >=app-crypt/heimdal-1.5[-ssl] client? ( net-fs/cifs-utils[ads?] ) cluster? ( >=dev-db/ctdb-1.0.114_p1 ) ldap? ( net-nds/openldap ) gnutls? ( >=net-libs/gnutls-1.4.0 ) selinux? ( sec-policy/selinux-samba ) =dev-lang/python-2*
|
||||
RESTRICT=mirror
|
||||
SLOT=0
|
||||
SRC_URI=mirror://samba/samba-4.0.0.tar.gz
|
||||
_eclasses_=base ec46b36a6f6fd1d0b505a33e0b74e413 eutils d40dc948067bd3db1c8ebf7d51897313 linux-info f01ffb28843e2de3ea571f80f07e5078 multilib 9aa8a023e062fca0ba79362d9d0cc488 multiprocessing a2130e6fc4aa4c6a24b265ca0cbcc2b6 python e5b3412fa9f03670a666c8a137bd1060 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4 user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4 waf-utils 681b3e9181d1a20ad8d0c186333ddcf7
|
||||
_md5_=07cfdfb2dacf6d4657e16f1aa795c0a4
|
||||
_md5_=fc75a4fd98ba7db0f08fe5d23eb9d980
|
||||
|
@ -0,0 +1,14 @@
|
||||
DEFINED_PHASES=compile configure install postinst postrm prepare prerm setup test
|
||||
DEPEND=>=dev-haskell/binary-0.4.4:=[profile?] <dev-haskell/binary-0.7:=[profile?] =dev-haskell/deepseq-1.3*:=[profile?] epic? ( dev-lang/epic:=[profile?] ) >=dev-haskell/geniplate-0.6.0.3:=[profile?] <dev-haskell/geniplate-0.7:=[profile?] >=dev-haskell/hashable-1.1.2.3:=[profile?] <dev-haskell/hashable-1.3:=[profile?] =dev-haskell/hashtables-1.0*:=[profile?] >=dev-haskell/haskeline-0.6.3.2:=[profile?] <dev-haskell/haskeline-0.8:=[profile?] >=dev-haskell/haskell-src-exts-1.9.6:=[profile?] <dev-haskell/haskell-src-exts-1.14:=[profile?] >=dev-haskell/mtl-2.0:=[profile?] <dev-haskell/mtl-2.2:=[profile?] <dev-haskell/parallel-3.3:=[profile?] >=dev-haskell/quickcheck-2.3:=[profile?] <dev-haskell/quickcheck-2.6:=[profile?] =dev-haskell/text-0.11*:=[profile?] =dev-haskell/unordered-containers-0.2*:=[profile?] =dev-haskell/xhtml-3000.2*:=[profile?] >=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.6:=[profile?] >=dev-lang/ghc-6.12.1:= virtual/emacs app-emacs/haskell-mode dev-haskell/alex >=dev-haskell/cabal-1.8 dev-haskell/happy >=dev-haskell/cabal-1.1.4
|
||||
DESCRIPTION=A dependently typed functional programming language and proof assistant
|
||||
EAPI=5
|
||||
HOMEPAGE=http://wiki.portal.chalmers.se/agda/
|
||||
IUSE=epic +stdlib profile
|
||||
KEYWORDS=~amd64 ~x86
|
||||
LICENSE=MIT
|
||||
PDEPEND=stdlib? ( sci-mathematics/agda-stdlib )
|
||||
RDEPEND=>=dev-haskell/binary-0.4.4:=[profile?] <dev-haskell/binary-0.7:=[profile?] =dev-haskell/deepseq-1.3*:=[profile?] epic? ( dev-lang/epic:=[profile?] ) >=dev-haskell/geniplate-0.6.0.3:=[profile?] <dev-haskell/geniplate-0.7:=[profile?] >=dev-haskell/hashable-1.1.2.3:=[profile?] <dev-haskell/hashable-1.3:=[profile?] =dev-haskell/hashtables-1.0*:=[profile?] >=dev-haskell/haskeline-0.6.3.2:=[profile?] <dev-haskell/haskeline-0.8:=[profile?] >=dev-haskell/haskell-src-exts-1.9.6:=[profile?] <dev-haskell/haskell-src-exts-1.14:=[profile?] >=dev-haskell/mtl-2.0:=[profile?] <dev-haskell/mtl-2.2:=[profile?] <dev-haskell/parallel-3.3:=[profile?] >=dev-haskell/quickcheck-2.3:=[profile?] <dev-haskell/quickcheck-2.6:=[profile?] =dev-haskell/text-0.11*:=[profile?] =dev-haskell/unordered-containers-0.2*:=[profile?] =dev-haskell/xhtml-3000.2*:=[profile?] >=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.6:=[profile?] >=dev-lang/ghc-6.12.1:= virtual/emacs app-emacs/haskell-mode dev-lang/ghc
|
||||
SLOT=0/2.3.2
|
||||
SRC_URI=mirror://hackage/packages/archive/Agda/2.3.2/Agda-2.3.2.tar.gz
|
||||
_eclasses_=elisp-common cdb887d0e278ea6e82ea2a5d4792c52a eutils d40dc948067bd3db1c8ebf7d51897313 ghc-package c50de19959be43d5c072ac4169f4dbfd haskell-cabal b4543046102ee4aec41502a7cb8fd6f2 multilib 9aa8a023e062fca0ba79362d9d0cc488 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4 user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4
|
||||
_md5_=8471aeef5e7fc220cd69bfab7c1a220f
|
@ -1 +1 @@
|
||||
Fri, 28 Dec 2012 05:36:54 +0000
|
||||
Fri, 28 Dec 2012 08:06:53 +0000
|
||||
|
@ -1 +1 @@
|
||||
Fri Dec 28 05:36:52 UTC 2012
|
||||
Fri Dec 28 08:06:51 UTC 2012
|
||||
|
@ -1 +1 @@
|
||||
Fri, 28 Dec 2012 06:00:01 +0000
|
||||
Fri, 28 Dec 2012 08:30:01 +0000
|
||||
|
@ -1 +1 @@
|
||||
1356672901 Fri Dec 28 05:35:01 2012 UTC
|
||||
1356681901 Fri Dec 28 08:05:01 2012 UTC
|
||||
|
@ -0,0 +1,98 @@
|
||||
# Copyright 1999-2012 Gentoo Foundation
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2-r2.ebuild,v 1.1 2012/12/28 05:47:39 gienah Exp $
|
||||
|
||||
EAPI=5
|
||||
|
||||
# ebuild generated by hackport 0.3.9999
|
||||
|
||||
CABAL_FEATURES="lib profile"
|
||||
inherit haskell-cabal eutils elisp-common
|
||||
|
||||
MY_PN="Agda"
|
||||
MY_P="${MY_PN}-${PV}"
|
||||
|
||||
DESCRIPTION="A dependently typed functional programming language and proof assistant"
|
||||
HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
|
||||
SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
|
||||
|
||||
LICENSE="MIT"
|
||||
SLOT="0/${PV}"
|
||||
KEYWORDS="~amd64 ~x86"
|
||||
IUSE="epic +stdlib"
|
||||
|
||||
RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
|
||||
<dev-haskell/binary-0.7:=[profile?]
|
||||
=dev-haskell/deepseq-1.3*:=[profile?]
|
||||
epic? ( dev-lang/epic:=[profile?] )
|
||||
>=dev-haskell/geniplate-0.6.0.3:=[profile?]
|
||||
<dev-haskell/geniplate-0.7:=[profile?]
|
||||
>=dev-haskell/hashable-1.1.2.3:=[profile?]
|
||||
<dev-haskell/hashable-1.3:=[profile?]
|
||||
=dev-haskell/hashtables-1.0*:=[profile?]
|
||||
>=dev-haskell/haskeline-0.6.3.2:=[profile?]
|
||||
<dev-haskell/haskeline-0.8:=[profile?]
|
||||
>=dev-haskell/haskell-src-exts-1.9.6:=[profile?]
|
||||
<dev-haskell/haskell-src-exts-1.14:=[profile?]
|
||||
>=dev-haskell/mtl-2.0:=[profile?]
|
||||
<dev-haskell/mtl-2.2:=[profile?]
|
||||
<dev-haskell/parallel-3.3:=[profile?]
|
||||
>=dev-haskell/quickcheck-2.3:=[profile?]
|
||||
<dev-haskell/quickcheck-2.6:=[profile?]
|
||||
=dev-haskell/text-0.11*:=[profile?]
|
||||
=dev-haskell/unordered-containers-0.2*:=[profile?]
|
||||
=dev-haskell/xhtml-3000.2*:=[profile?]
|
||||
>=dev-haskell/zlib-0.4.0.1:=[profile?]
|
||||
<dev-haskell/zlib-0.6:=[profile?]
|
||||
>=dev-lang/ghc-6.12.1:=
|
||||
virtual/emacs
|
||||
app-emacs/haskell-mode"
|
||||
PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
|
||||
DEPEND="${RDEPEND}
|
||||
dev-haskell/alex
|
||||
>=dev-haskell/cabal-1.8
|
||||
dev-haskell/happy"
|
||||
|
||||
SITEFILE="50${PN}2-gentoo.el"
|
||||
S="${WORKDIR}/${MY_P}"
|
||||
|
||||
src_prepare() {
|
||||
CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
|
||||
'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.7' \
|
||||
'hashable >= 1.1.2.3 && < 1.2' 'hashable >= 1.1.2.3 && < 1.3'
|
||||
epatch "${FILESDIR}/${PN}-2.3.2-hashable-1.2.patch"
|
||||
sed -e '/.*emacs-mode.*$/d' \
|
||||
-e '/^executable agda/,$d' \
|
||||
-i "${S}/${MY_PN}.cabal" \
|
||||
|| die "Could not remove agda and agda-mode from ${MY_PN}.cabal"
|
||||
cabal-mksetup
|
||||
if use epic && use stdlib; then
|
||||
ewarn "Note that the agda-stdlib README:"
|
||||
ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
|
||||
ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
|
||||
ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
|
||||
ewarn "the Agda standard library."
|
||||
fi
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
cabal_src_configure $(cabal_flag epic)
|
||||
}
|
||||
|
||||
src_install() {
|
||||
haskell-cabal_src_install
|
||||
elisp-install ${PN} src/data/emacs-mode/*.el \
|
||||
|| die "Failed to install emacs mode"
|
||||
elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
|
||||
|| die "Failed to install elisp site file"
|
||||
}
|
||||
|
||||
pkg_postinst() {
|
||||
ghc-package_pkg_postinst
|
||||
elisp-site-regen
|
||||
}
|
||||
|
||||
pkg_postrm() {
|
||||
ghc-package_pkg_prerm
|
||||
elisp-site-regen
|
||||
}
|
@ -0,0 +1,66 @@
|
||||
--- Agda-2.3.2-orig/src/full/Agda/Syntax/Abstract/Name.hs 2012-11-12 11:25:21.000000000 +1100
|
||||
+++ Agda-2.3.2/src/full/Agda/Syntax/Abstract/Name.hs 2012-12-18 22:10:22.241674353 +1100
|
||||
@@ -239,8 +239,13 @@
|
||||
show x = show (nameConcrete x) -- ++ "|" ++ show (nameId x)
|
||||
|
||||
instance Hashable Name where
|
||||
+#if MIN_VERSION_hashable(1,2,0)
|
||||
+ {-# INLINE hashWithSalt #-}
|
||||
+ hashWithSalt salt = (hashWithSalt salt) . nameId
|
||||
+#else
|
||||
{-# INLINE hash #-}
|
||||
hash = hash . nameId
|
||||
+#endif
|
||||
|
||||
instance Show QName where
|
||||
show q = concat $ intersperse "." $ map show $ qnameToList q
|
||||
@@ -255,8 +260,13 @@
|
||||
compare = compare `on` qnameName
|
||||
|
||||
instance Hashable QName where
|
||||
+#if MIN_VERSION_hashable(1,2,0)
|
||||
+ {-# INLINE hashWithSalt #-}
|
||||
+ hashWithSalt salt = (hashWithSalt salt) . qnameName
|
||||
+#else
|
||||
{-# INLINE hash #-}
|
||||
hash = hash . qnameName
|
||||
+#endif
|
||||
|
||||
instance HasRange Name where
|
||||
getRange = getRange . nameConcrete
|
||||
--- Agda-2.3.2-orig/src/full/Agda/Syntax/Common.hs 2012-11-12 11:25:21.000000000 +1100
|
||||
+++ Agda-2.3.2/src/full/Agda/Syntax/Common.hs 2012-12-18 22:11:29.730050687 +1100
|
||||
@@ -272,8 +272,13 @@
|
||||
fromEnum (NameId n _) = fromIntegral n
|
||||
|
||||
instance Hashable NameId where
|
||||
+#if MIN_VERSION_hashable(1,2,0)
|
||||
+ {-# INLINE hashWithSalt #-}
|
||||
+ hashWithSalt salt (NameId n m) = hashWithSalt salt (n, m)
|
||||
+#else
|
||||
{-# INLINE hash #-}
|
||||
hash (NameId n m) = hash (n, m)
|
||||
+#endif
|
||||
|
||||
newtype Constr a = Constr a
|
||||
|
||||
--- Agda-2.3.2-orig/src/full/Agda/Utils/Pointer.hs 2012-11-12 11:25:22.000000000 +1100
|
||||
+++ Agda-2.3.2/src/full/Agda/Utils/Pointer.hs 2012-12-18 22:12:18.834049775 +1100
|
||||
@@ -1,4 +1,4 @@
|
||||
-{-# LANGUAGE DeriveDataTypeable #-}
|
||||
+{-# LANGUAGE DeriveDataTypeable, CPP #-}
|
||||
module Agda.Utils.Pointer
|
||||
( Ptr, newPtr, derefPtr, setPtr
|
||||
, updatePtr, updatePtrM
|
||||
@@ -71,7 +71,11 @@
|
||||
compare = compare `on` ptrTag
|
||||
|
||||
instance Hashable (Ptr a) where
|
||||
+#if MIN_VERSION_hashable(1,2,0)
|
||||
+ hashWithSalt salt = (hashWithSalt salt) . ptrTag
|
||||
+#else
|
||||
hash = hash . ptrTag
|
||||
+#endif
|
||||
|
||||
instance NFData (Ptr a) where
|
||||
|
Loading…
Reference in new issue