* [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: metadata.xml agda-2.4.2.2-r1.ebuild ChangeLog
@ 2014-12-14 10:24 Mark Wright (gienah)
0 siblings, 0 replies; only message in thread
From: Mark Wright (gienah) @ 2014-12-14 10:24 UTC (permalink / raw
To: gentoo-commits
gienah 14/12/14 10:24:58
Modified: metadata.xml ChangeLog
Added: agda-2.4.2.2-r1.ebuild
Log:
Bump agda to 2.4.2.2-r1
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Revision Changes Path
1.7 sci-mathematics/agda/metadata.xml
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/metadata.xml?rev=1.7&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/metadata.xml?rev=1.7&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/metadata.xml?r1=1.6&r2=1.7
Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/metadata.xml,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- metadata.xml 25 Mar 2012 13:55:19 -0000 1.6
+++ metadata.xml 14 Dec 2014 10:24:58 -0000 1.7
@@ -10,6 +10,7 @@
inductive definitions, module structures and a class hierarchy mechanism.
</longdescription>
<use>
+ <flag name='cpphs'>Use cpphs instead of cpp.</flag>
<flag name='epic'>Add support for the epic compiler.</flag>
<flag name='stdlib'>Install the standard library.</flag>
</use>
1.28 sci-mathematics/agda/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.28&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.28&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.27&r2=1.28
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -r1.27 -r1.28
--- ChangeLog 2 Jul 2014 15:25:38 -0000 1.27
+++ ChangeLog 14 Dec 2014 10:24:58 -0000 1.28
@@ -1,6 +1,12 @@
# ChangeLog for sci-mathematics/agda
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.27 2014/07/02 15:25:38 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.28 2014/12/14 10:24:58 gienah Exp $
+
+*agda-2.4.2.2-r1 (14 Dec 2014)
+
+ 14 Dec 2014; Mark Wright <gienah@gentoo.org> +agda-2.4.2.2-r1.ebuild,
+ metadata.xml:
+ Bump agda to 2.4.2.2-r1
*agda-2.4.0.1 (02 Jul 2014)
1.1 sci-mathematics/agda/agda-2.4.2.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild?rev=1.1&content-type=text/plain
Index: agda-2.4.2.2-r1.ebuild
===================================================================
# Copyright 1999-2014 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild,v 1.1 2014/12/14 10:24:58 gienah Exp $
EAPI=5
# ebuild generated by hackport 0.4.4.9999
CABAL_FEATURES="bin lib profile haddock hoogle hscolour"
inherit haskell-cabal 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="+cpphs epic +stdlib"
RDEPEND=">=dev-haskell/binary-0.6:=[profile?] <dev-haskell/binary-0.8:=[profile?]
>=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?]
~dev-haskell/data-hash-0.2.0.0:=[profile?]
>=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.3:=[profile?]
>=dev-haskell/geniplate-0.6.0.3:=[profile?] <dev-haskell/geniplate-0.7:=[profile?]
>=dev-haskell/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.3:=[profile?]
>=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
>=dev-haskell/haskell-src-exts-1.9.6:=[profile?] <dev-haskell/haskell-src-exts-1.17:=[profile?]
<dev-haskell/parallel-3.3:=[profile?]
>=dev-haskell/quickcheck-2.7.5:2=[profile?] <dev-haskell/quickcheck-2.8:2=[profile?]
>=dev-haskell/stmonadtrans-0.3.2:=[profile?] <dev-haskell/stmonadtrans-0.4:=[profile?]
>=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.4:=[profile?]
>=dev-haskell/text-0.11:=[profile?] <dev-haskell/text-1.3:=[profile?]
>=dev-haskell/unordered-containers-0.2:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
>=dev-haskell/xhtml-3000.2:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
>=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.6:=[profile?]
>=dev-lang/ghc-7.4.1:=
|| ( ( >=dev-haskell/hashable-1.1.2.3:=[profile?] <dev-haskell/hashable-1.2:=[profile?] )
( >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?] ) )
|| ( ( >=dev-haskell/mtl-2.1.1:=[profile?] <=dev-haskell/mtl-2.1.3.1:=[profile?] )
( >=dev-haskell/mtl-2.2.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?] ) )
|| ( ( >=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.4:=[profile?] )
( >=dev-haskell/transformers-0.4.1.0:=[profile?] <dev-haskell/transformers-0.5:=[profile?] ) )
epic? ( >=dev-lang/epic-0.1.13:=[profile?] <dev-lang/epic-0.10:=[profile?] )
"
RDEPEND+="
app-emacs/haskell-mode
virtual/emacs
"
PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
DEPEND="${RDEPEND}
dev-haskell/alex
>=dev-haskell/cabal-1.8
dev-haskell/happy
cpphs? ( dev-haskell/cpphs )
"
SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
cabal_chdeps \
'hashtables >= 1.0 && < 1.2' 'hashtables >= 1.0 && < 1.3'
sed -e '/.*emacs-mode.*$/d' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode from ${MY_PN}.cabal"
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
sed -e 's@-Werror@@g' \
-i "${S}/${MY_PN}.cabal" \
|| die "sed to remove -Werror failed"
sed -e '/, "-Werror"/d' \
-i "${S}/src/full/Agda/Compiler/MAlonzo/Compiler.hs" \
|| die "sed to remove -Werror from Compiler.hs failed"
}
src_configure() {
haskell-cabal_src_configure \
$(cabal_flag cpphs cpphs) \
$(cabal_flag epic epic)
}
src_compile() {
BYTECOMPFLAGS="-L ./src/data/emacs-mode"
elisp-compile src/data/emacs-mode/*.el \
|| die "Failed to compile emacs mode"
haskell-cabal_src_compile
}
src_install() {
local add="${ED}"/usr/share/"${P}/ghc-$(ghc-version)"
haskell-cabal_src_install
# generate Primitive.agdai, emulate Setup.hs postinst phase
Agda_datadir="${add}" \
"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda
rm "${ED}"/usr/bin/agda-mode || die
# lives in sci-mathematics/agda-executable
rm "${ED}"/usr/bin/agda || die
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
}
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-12-14 10:25 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-12-14 10:24 [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: metadata.xml agda-2.4.2.2-r1.ebuild ChangeLog Mark Wright (gienah)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox