* [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.2.1-r1.ebuild ChangeLog
@ 2013-09-13 6:58 Mark Wright (gienah)
0 siblings, 0 replies; 2+ messages in thread
From: Mark Wright (gienah) @ 2013-09-13 6:58 UTC (permalink / raw
To: gentoo-commits
gienah 13/09/13 06:58:24
Modified: ChangeLog
Added: agda-2.3.2.1-r1.ebuild
Log:
Patch agda 2.3.2.1 for haskell-src-exts 1.14
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Revision Changes Path
1.23 sci-mathematics/agda/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.23&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.23&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.22&r2=1.23
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -r1.22 -r1.23
--- ChangeLog 19 Jun 2013 06:41:49 -0000 1.22
+++ ChangeLog 13 Sep 2013 06:58:23 -0000 1.23
@@ -1,6 +1,12 @@
# ChangeLog for sci-mathematics/agda
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.22 2013/06/19 06:41:49 slyfox Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.23 2013/09/13 06:58:23 gienah Exp $
+
+*agda-2.3.2.1-r1 (13 Sep 2013)
+
+ 13 Sep 2013; Mark Wright <gienah@gentoo.org> +agda-2.3.2.1-r1.ebuild,
+ +files/agda-2.3.2.1-haskell-src-exts-1.14.patch:
+ Patch agda 2.3.2.1 for haskell-src-exts 1.14
19 Jun 2013; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.0.ebuild:
Drop old.
1.1 sci-mathematics/agda/agda-2.3.2.1-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild?rev=1.1&content-type=text/plain
Index: agda-2.3.2.1-r1.ebuild
===================================================================
# Copyright 1999-2013 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.1-r1.ebuild,v 1.1 2013/09/13 06:58:23 gienah Exp $
EAPI=5
# ebuild generated by hackport 0.3.2.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.8:=[profile?]
=dev-haskell/deepseq-1.3*:=[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/hashtables-1.2:=[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.15:=[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.7:=[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
epic? ( <dev-lang/epic-0.10:=[profile?]
>=dev-lang/epic-0.1.13:=[profile?]
)
|| ( >=dev-haskell/mtl-2.0:=[profile?] <dev-haskell/mtl-2.1:=[profile?] >=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.2:=[profile?] )"
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() {
epatch "${FILESDIR}/${PN}-2.3.2.1-haskell-src-exts-1.14.patch"
CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.8' \
'hashtables == 1.0.*' 'hashtables >= 1.0 && < 1.2' \
'haskell-src-exts >= 1.9.6 && < 1.14' 'haskell-src-exts >= 1.9.6 && < 1.15'
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() {
haskell-cabal_src_configure \
$(cabal_flag epic 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
}
^ permalink raw reply [flat|nested] 2+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.2.1-r1.ebuild ChangeLog
@ 2013-10-19 11:07 Mark Wright (gienah)
0 siblings, 0 replies; 2+ messages in thread
From: Mark Wright (gienah) @ 2013-10-19 11:07 UTC (permalink / raw
To: gentoo-commits
gienah 13/10/19 11:07:42
Modified: agda-2.3.2.1-r1.ebuild ChangeLog
Log:
Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND.
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Revision Changes Path
1.2 sci-mathematics/agda/agda-2.3.2.1-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild?r1=1.1&r2=1.2
Index: agda-2.3.2.1-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- agda-2.3.2.1-r1.ebuild 13 Sep 2013 06:58:23 -0000 1.1
+++ agda-2.3.2.1-r1.ebuild 19 Oct 2013 11:07:42 -0000 1.2
@@ -1,6 +1,6 @@
# Copyright 1999-2013 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.1-r1.ebuild,v 1.1 2013/09/13 06:58:23 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild,v 1.2 2013/10/19 11:07:42 gienah Exp $
EAPI=5
@@ -64,7 +64,8 @@
CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.8' \
'hashtables == 1.0.*' 'hashtables >= 1.0 && < 1.2' \
- 'haskell-src-exts >= 1.9.6 && < 1.14' 'haskell-src-exts >= 1.9.6 && < 1.15'
+ 'haskell-src-exts >= 1.9.6 && < 1.14' 'haskell-src-exts >= 1.9.6 && < 1.15' \
+ 'alex >= 2.3.1 && < 3.1' 'alex >= 2.3.1 && < 3.2'
sed -e '/.*emacs-mode.*$/d' \
-e '/^executable agda/,$d' \
-i "${S}/${MY_PN}.cabal" \
@@ -84,6 +85,12 @@
$(cabal_flag epic epic)
}
+src_compile() {
+ elisp-compile src/data/emacs-mode/*.el \
+ || die "Failed to compile emacs mode"
+ haskell-cabal_src_compile
+}
+
src_install() {
haskell-cabal_src_install
elisp-install ${PN} src/data/emacs-mode/*.el \
1.24 sci-mathematics/agda/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.24&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.24&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.23&r2=1.24
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -r1.23 -r1.24
--- ChangeLog 13 Sep 2013 06:58:23 -0000 1.23
+++ ChangeLog 19 Oct 2013 11:07:42 -0000 1.24
@@ -1,6 +1,11 @@
# ChangeLog for sci-mathematics/agda
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.23 2013/09/13 06:58:23 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.24 2013/10/19 11:07:42 gienah Exp $
+
+ 19 Oct 2013; Mark Wright <gienah@gentoo.org> agda-2.3.2.1-r1.ebuild:
+ Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work,
+ fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex
+ DEPEND.
*agda-2.3.2.1-r1 (13 Sep 2013)
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-10-19 11:07 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-09-13 6:58 [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.2.1-r1.ebuild ChangeLog Mark Wright (gienah)
-- strict thread matches above, loose matches on Subject: below --
2013-10-19 11:07 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