Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files…

… with --preserve-timestamps
  • Loading branch information...
commit 76713d6016630290700f3211ca9646afde3e521c 1 parent 460ab5f
@markwright markwright authored
View
1  sci-mathematics/agda-stdlib/Manifest
@@ -1,2 +1,3 @@
DIST agda-stdlib-0.6.tar.gz 216273 SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 SHA512 38900674cc95deec87fd5a61843904e05ea256b89401741d7e2673801953f87fdb5b97e0972b2dfd74195c7a85121db0e7abebb69808227f85ecd8ac6702e6cf WHIRLPOOL 7decc6a7a35221954c7affbb595ec14ca9a079db2e6f7ac582e2b6834f6b345bc63a1162a2a5a3b9c8012ea200ad419c723544c04d4757e207d51819d083ed6b
DIST agda-stdlib-0.7_pre20121118.tar.gz 217329 SHA256 72bcced26d7d31e83cadfc9f696fa361ffe2f7c7e7cd1a13813501522edb3706 SHA512 4d6ab0e2f3f84353c4cf00209ddee19ad860977d573d5ebb7ec212c6c0f52bfec790424d84b94e726edee8c785d3c9d262ef46b4475ecd39961e854831b72546 WHIRLPOOL dc384fc7d9204b13e4a7b6435a56c8c4a2e6d65e035a704899e962da38ccabb23b410649247ab3f62530c81b469f37caba28eb99b59e03f1e220b34a48e9554b
+DIST agda-stdlib-0.7_pre20130109.tar.gz 219062 SHA256 664ab3d5e72df2daf4f89d4b2f9b182ac19cdc850e9d0063946965ebd6f90a3b SHA512 ddfdef39abbe9ffe44a87ce53c875a0d87233bec694b022831faab57cf1f5303cffa0a1ec8ef6e825cf96105f43b25d43c5f68dc5b87f8b8c52752bf6f85d3b2 WHIRLPOOL 4aec46db093433ac70525d26fd239fe7145891b3a0055f18e7bd1a2623c2c70e050898b7ca187cd5a85fbd21237283287991ad2c2d21c0e4656fd808222dd7e8
View
3  sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -36,6 +36,7 @@ src_test() {
src_install() {
insinto usr/share/agda-stdlib
+ export INSOPTIONS=--preserve-timestamps
doins -r src/*
dodoc -r html/*
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
View
3  sci-mathematics/agda-stdlib/agda-stdlib-0.7_pre20121118.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -52,6 +52,7 @@ src_test() {
src_install() {
insinto usr/share/agda-stdlib
+ export INSOPTIONS=--preserve-timestamps
doins -r src/*
dodoc -r html/*
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
View
59 sci-mathematics/agda-stdlib/agda-stdlib-0.7_pre20130109.ebuild
@@ -0,0 +1,59 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=5
+
+CABAL_FEATURES="bin"
+inherit haskell-cabal elisp-common
+
+DESCRIPTION="Agda standard library"
+HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
+SRC_URI="http://dev.gentoo.org/~gienah/snapshots/${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="profile"
+
+DEPEND=">=sci-mathematics/agda-executable-2.3.0.1"
+RDEPEND="=sci-mathematics/agda-2.3.2*[profile?]
+ =dev-haskell/filemanip-0.3*[profile?]"
+
+SITEFILE="50${PN}-gentoo.el"
+
+S="${WORKDIR}/lib-${PV}"
+
+src_prepare() {
+ cabal-mksetup
+}
+
+src_compile() {
+ haskell-cabal_src_compile
+ "${S}"/dist/build/GenerateEverything/GenerateEverything \
+ || die "GenerateEverything failed"
+ local prof
+ use profile && prof="--ghc-flag=-prof"
+ agda +RTS -K1G -RTS ${prof} \
+ -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
+ # Although my agda-9999 build has
+ # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs
+ # containing:
+ # datadir = "/usr/share/agda-9999/ghc-7.6.1"
+ # it fails without the --css option like:
+ # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
+ local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@')
+ agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die
+}
+
+src_test() {
+ agda -i "${S}" -i "${S}"/src README.agda || die
+}
+
+src_install() {
+ insinto usr/share/agda-stdlib
+ export INSOPTIONS=--preserve-timestamps
+ doins -r src/*
+ dodoc -r html/*
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
+}
View
3  sci-mathematics/agda-stdlib/agda-stdlib-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -54,6 +54,7 @@ src_test() {
src_install() {
insinto usr/share/agda-stdlib
+ export INSOPTIONS=--preserve-timestamps
doins -r src/*
dodoc -r html/*
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
Please sign in to comment.
Something went wrong with that request. Please try again.