[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.2.2-r1.ebuild ChangeLog agda-2.2.6-r1.ebuild agda-1.0.2-r2.ebuild

[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.2.2-r1.ebuild ChangeLog agda-2.2.6-r1.ebuild agda-1.0.2-r2.ebuild

[Sergei Trofimovich (slyfox)]

slyfox      14/02/25 15:40:58

  Modified:             agda-2.3.2.2-r1.ebuild ChangeLog
  Removed:              agda-2.2.6-r1.ebuild agda-1.0.2-r2.ebuild
  Log:
  Drop old.
  
  (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)

Revision  Changes    Path
1.2                  sci-mathematics/agda/agda-2.3.2.2-r1.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2.2-r1.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2.2-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.2-r1.ebuild?r1=1.1&r2=1.2

Index: agda-2.3.2.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2.2-r1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- agda-2.3.2.2-r1.ebuild	10 Dec 2013 11:25:16 -0000	1.1
+++ agda-2.3.2.2-r1.ebuild	25 Feb 2014 15:40:58 -0000	1.2
@@ -1,6 +1,6 @@
-# Copyright 1999-2013 Gentoo Foundation
+# 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.3.2.2-r1.ebuild,v 1.1 2013/12/10 11:25:16 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2.2-r1.ebuild,v 1.2 2014/02/25 15:40:58 slyfox Exp $
 
 EAPI=5
 
@@ -39,6 +39,7 @@
 		( >=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.2:=[profile?] ) )
 	|| ( ( >=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?] ) )
+	virtual/emacs
 "
 PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
 DEPEND="${RDEPEND}
@@ -53,12 +54,18 @@
 src_prepare() {
 	CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
 		'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.8' \
-		'text == 0.11.*' 'text >= 0.11'
+		'text == 0.11.*' 'text >= 0.11' \
+		'base >= 4.2 && < 4.7' 'base >= 4.2 && < 4.8' \
+		'array >= 0.1 && < 0.5' 'array >= 0.1 && < 0.6' \
+		'process >= 1.0.1.0 && < 1.2' 'process >= 1.0.1.0 && < 1.3'
+
 	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"
@@ -84,6 +91,7 @@
 }
 
 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



1.26                 sci-mathematics/agda/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.26&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.26&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.25&r2=1.26

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -r1.25 -r1.26
--- ChangeLog	10 Dec 2013 11:25:16 -0000	1.25
+++ ChangeLog	25 Feb 2014 15:40:58 -0000	1.26
@@ -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.25 2013/12/10 11:25:16 gienah Exp $
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.26 2014/02/25 15:40:58 slyfox Exp $
+
+  25 Feb 2014; Sergei Trofimovich <slyfox@gentoo.org> -agda-1.0.2-r2.ebuild,
+  -agda-2.2.6-r1.ebuild, -files/50agda-gentoo.el,
+  -files/agda-1.0.2-upstream-fixes.patch, -files/agda-2.2.6-emacs.patch,
+  agda-2.3.2.2-r1.ebuild:
+  Drop old.
 
 *agda-2.3.2.2-r1 (10 Dec 2013)