summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2015-11-23 11:21:09 +0100
committerJustin Lecher <jlec@gentoo.org>2015-11-23 11:46:39 +0100
commit067f2d2d638ded5988c36e5541d0e98eafa0a6b9 (patch)
treecf38a27fddd44bdb72a24611764fd59e99b0e0e9 /sci-mathematics/agda-stdlib
parentsys-devel/binutils-config: detect broken cross-compiler rpaths #562460 (diff)
downloadgentoo-067f2d2d638ded5988c36e5541d0e98eafa0a6b9.tar.gz
gentoo-067f2d2d638ded5988c36e5541d0e98eafa0a6b9.tar.bz2
gentoo-067f2d2d638ded5988c36e5541d0e98eafa0a6b9.zip
sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()
Gentoo-Bug: https://bugs.gentoo.org/show_bug.cgi?id=566490 Package-Manager: portage-2.2.25 Signed-off-by: Justin Lecher <jlec@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda-stdlib')
-rw-r--r--sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild4
-rw-r--r--sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild4
-rw-r--r--sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild2
3 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild
index 6ccbc88c9a05..cc2c3416beae 100644
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -60,7 +60,7 @@ src_test() {
src_install() {
insinto usr/share/agda-stdlib
- export INSOPTIONS=--preserve-timestamps
+ insopts --preserve-timestamps
doins -r src/*
dodoc -r html/*
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild
index 6ccbc88c9a05..cc2c3416beae 100644
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -60,7 +60,7 @@ src_test() {
src_install() {
insinto usr/share/agda-stdlib
- export INSOPTIONS=--preserve-timestamps
+ insopts --preserve-timestamps
doins -r src/*
dodoc -r html/*
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild
index 867f3557dcc3..3f5fb3f4ffe1 100644
--- a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild
@@ -59,7 +59,7 @@ src_test() {
src_install() {
insinto usr/share/agda-stdlib
- export INSOPTIONS=--preserve-timestamps
+ insopts --preserve-timestamps
doins -r src/*
dodoc -r html/*
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die