gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-10 06:57:08 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/agda: drop old

Browse Source 
Package-Manager: portage-2.2.28
This commit is contained in:
Sergei Trofimovich
2016-04-03 15:39:25 +01:00
parent b34ff9965d
commit 4e2efc914f
6 changed files with 0 additions and 609 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sci-mathematics/agda/Manifest
-3
View File
@@ -1,4 +1 @@
DIST Agda-2.4.0.1.tar.gz 906887 SHA256 58e678b9d193e19d4e69d8899129d9ae16df08a394873af850797f03cc2cbe86 SHA512 edd56ecea83241f3cb1aca4ac1e17970acf122c323a4ff38e2b5d8e46e46b1afd90fbbd460a6674a51cbb13a7cbf3a57b489e91a92ce3e709b2fc3d659013601 WHIRLPOOL 4e94c4277e8be99bd5a513c274fd5712f1d4a3e99d1e626a3b195b9cf83f9216de62220cfb5e8298cc0f11560a9c32dc0116db3bd67c2240842fa798f733065c
DIST Agda-2.4.2.2.tar.gz 963302 SHA256 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 SHA512 62376775255099570d9eb7814de77a239d0806669ee0993283429a400c7c45ca756c6735bab85b4d3a4b82defae544364ac9107fd622f2df1ebcbded3113204d WHIRLPOOL dd220346109b7e137cca2e3b091c581b0b4ed0e23340209c7eebc48b39d807a569c984fbe1aee813d18a7f953db86e82b6a6aa7e197e6a2c5569dc311625f45f
DIST Agda-2.4.2.3.tar.gz 990268 SHA256 bc6def45e32498f51863d67acfbe048c039d630c6a36761ed27e99a5f68d7b27 SHA512 84c24c517c830128032af8de9c8ce9ed8d5333becf65e6c96d67104caae1b66fb37ae9bcdff8f42a3e2997f4dcef2f4ea5addd7c94c45a0533c833da9af4d55a WHIRLPOOL ccef337495a5bc6d4272821700126a793ac0cac8b0ebbef44be478b725545797959c0edba910b5e2b68076e7c5c01e98580ea40016d02b268960dfba5f62a24a
DIST Agda-2.4.2.5.tar.gz 1031427 SHA256 959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee SHA512 c2e090a42f699200854c20dad868b4b67e99107f0cdbba20ed268f4618fcf80068ee31db37e4b6637f73128d9f652ef9276d8f7adea54628da759d79f5e4f4a2 WHIRLPOOL dd2d579242b395835a25910409df1eacaa5c7253a43d7cd6fbeb51146df5252ef2f255d063d15c5cc6bd3fab9e568a60b798539c4f73747411f31919970dee1e
sci-mathematics/agda/agda-2.4.0.1.ebuild
-124
View File
@@ -1,124 +0,0 @@
# Copyright 1999-2014 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
# ebuild generated by hackport 0.4.2.9999
CABAL_FEATURES="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="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.3:=[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.2:=[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.16:=[profile?]
>=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.3:=[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.2:=[profile?]
>=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.5:=[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?] ) )
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
"
SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
cabal_chdeps \
'mtl >= 2.1.1 && < 2.2' 'mtl >= 2.1.1 && < 2.3' \
'transformers == 0.3.*' 'transformers >= 0.3 && < 0.5'
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 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
}
sci-mathematics/agda/agda-2.4.2.2-r1.ebuild
-128
View File
@@ -1,128 +0,0 @@
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
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' \
'cpphs >= 1.18.6 && < 1.19' 'cpphs >= 1.18.6 && < 1.20'
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
}
sci-mathematics/agda/agda-2.4.2.3-r1.ebuild
-116
View File
@@ -1,116 +0,0 @@
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
# ebuild generated by hackport 0.4.5.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 +stdlib"
RDEPEND=">=dev-haskell/base-orphans-0.3.1:=[profile?] <dev-haskell/base-orphans-0.4:=[profile?]
>=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/data-hash-0.3:=[profile?]
>=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?]
>=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
>=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?]
>=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
>=dev-haskell/haskell-src-exts-1.16.0.1:=[profile?] <dev-haskell/haskell-src-exts-1.17:=[profile?]
>=dev-haskell/old-time-1.1.0.0:=[profile?] <dev-haskell/old-time-1.2:=[profile?]
>=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?]
>=dev-haskell/quickcheck-2.8:2=[profile?] <dev-haskell/quickcheck-2.9:2=[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/transformers-compat-0.3.3.2:=[profile?] <dev-haskell/transformers-compat-0.5:=[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.7:=[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/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.2:=[profile?] )
( >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-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?] ) )
"
RDEPEND+="
app-emacs/haskell-mode
virtual/emacs
"
PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )"
DEPEND="${RDEPEND}
dev-haskell/alex
>=dev-haskell/cabal-1.8
dev-haskell/happy
cpphs? ( dev-haskell/cpphs )
"
RDEPEND+="!sci-mathematics/agda-executable"
SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
cabal_chdeps \
'data-hash == 0.2.0.0' 'data-hash >= 0.2.0.0 && < 0.3' \
'geniplate-mirror >= 0.6.0.6 && < 0.7' 'geniplate-mirror >= 0.6.0.6 && < 0.8'
sed -e '/.*emacs-mode.*$/d' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode from ${MY_PN}.cabal"
}
src_configure() {
haskell-cabal_src_configure \
$(cabal_flag cpphs cpphs)
}
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_test() {
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
dist/build/agda/agda --test +RTS -M1g || die
}
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
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() {
elisp-site-regen
}
pkg_postrm() {
elisp-site-regen
}
sci-mathematics/agda/agda-2.4.2.3-r2.ebuild
-119
View File
@@ -1,119 +0,0 @@
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
# ebuild generated by hackport 0.4.5.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 +stdlib"
RDEPEND=">=dev-haskell/base-orphans-0.3.1:=[profile?] <dev-haskell/base-orphans-0.5:=[profile?]
>=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/data-hash-0.3:=[profile?]
>=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?]
>=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
>=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?]
>=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
>=dev-haskell/haskell-src-exts-1.16.0.1:=[profile?] <dev-haskell/haskell-src-exts-1.17:=[profile?]
>=dev-haskell/old-time-1.1.0.0:=[profile?] <dev-haskell/old-time-1.2:=[profile?]
>=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?]
>=dev-haskell/quickcheck-2.8:2=[profile?] <dev-haskell/quickcheck-2.9:2=[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/transformers-compat-0.3.3.2:=[profile?] <dev-haskell/transformers-compat-0.5:=[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.7:=[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/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.2:=[profile?] )
( >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-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?] ) )
"
RDEPEND+="
app-emacs/haskell-mode
virtual/emacs
"
PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )"
DEPEND="${RDEPEND}
dev-haskell/alex
>=dev-haskell/cabal-1.8
dev-haskell/happy
cpphs? ( dev-haskell/cpphs )
"
RDEPEND+="!sci-mathematics/agda-executable"
SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
cabal_chdeps \
'base-orphans >= 0.3.1 && < 0.4' 'base-orphans >= 0.3.1 && < 0.5' \
'data-hash == 0.2.0.0' 'data-hash >= 0.2.0.0 && < 0.3' \
'geniplate-mirror >= 0.6.0.6 && < 0.7' 'geniplate-mirror >= 0.6.0.6 && < 0.8'
sed -e '/.*emacs-mode.*$/d' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode from ${MY_PN}.cabal"
}
src_configure() {
haskell-cabal_src_configure \
$(cabal_flag cpphs cpphs)
}
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_test() {
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
dist/build/agda/agda --test +RTS -M1g || die
}
src_install() {
local add="${ED}"/usr/share/"${P}/ghc-$(ghc-version)"
haskell-cabal_src_install
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
# generate Primitive.agdai, emulate Setup.hs postinst phase
Agda_datadir="${add}" \
"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda \
|| die "Failed to build 'Primitive.agdai'"
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() {
elisp-site-regen
}
pkg_postrm() {
elisp-site-regen
}
sci-mathematics/agda/agda-2.4.2.3-r3.ebuild
-119
View File
@@ -1,119 +0,0 @@
# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
# ebuild generated by hackport 0.4.5.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 +stdlib"
RDEPEND=">=dev-haskell/base-orphans-0.3.1:=[profile?] <dev-haskell/base-orphans-0.5:=[profile?]
>=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/data-hash-0.3:=[profile?]
>=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?]
>=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
>=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?]
>=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
>=dev-haskell/haskell-src-exts-1.16.0.1:=[profile?] <dev-haskell/haskell-src-exts-1.17:=[profile?]
>=dev-haskell/old-time-1.1.0.0:=[profile?] <dev-haskell/old-time-1.2:=[profile?]
>=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?]
>=dev-haskell/quickcheck-2.8:2=[profile?] <dev-haskell/quickcheck-2.9:2=[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/transformers-compat-0.3.3.2:=[profile?] <dev-haskell/transformers-compat-0.5:=[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.7:=[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/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.2:=[profile?] )
( >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-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?] ) )
"
RDEPEND+="
app-emacs/haskell-mode
virtual/emacs
"
PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )"
DEPEND="${RDEPEND}
dev-haskell/alex
>=dev-haskell/cabal-1.8
dev-haskell/happy
cpphs? ( >=dev-haskell/cpphs-1.19 <dev-haskell/cpphs-1.20 )
"
RDEPEND+="!sci-mathematics/agda-executable"
SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
cabal_chdeps \
'base-orphans >= 0.3.1 && < 0.4' 'base-orphans >= 0.3.1 && < 0.5' \
'data-hash == 0.2.0.0' 'data-hash >= 0.2.0.0 && < 0.3' \
'geniplate-mirror >= 0.6.0.6 && < 0.7' 'geniplate-mirror >= 0.6.0.6 && < 0.8'
sed -e '/.*emacs-mode.*$/d' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode from ${MY_PN}.cabal"
}
src_configure() {
haskell-cabal_src_configure \
$(cabal_flag cpphs cpphs)
}
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_test() {
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
dist/build/agda/agda --test +RTS -M1g || die
}
src_install() {
local add="${ED}"/usr/share/"${P}/ghc-$(ghc-version)"
haskell-cabal_src_install
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
# generate Primitive.agdai, emulate Setup.hs postinst phase
Agda_datadir="${add}" \
"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda \
|| die "Failed to build 'Primitive.agdai'"
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() {
elisp-site-regen
}
pkg_postrm() {
elisp-site-regen
}