summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2007-10-20 15:55:05 +0000
committerAlexis Ballier <aballier@gentoo.org>2007-10-20 15:55:05 +0000
commit39f6d572b307f33ff87e7d9811ccd3445a4f6e75 (patch)
tree6c8f10d8a203413656f7679b6b40b80e31c61f0e /sci-mathematics/coq
parentremove old versions (diff)
downloadhistorical-39f6d572b307f33ff87e7d9811ccd3445a4f6e75.tar.gz
historical-39f6d572b307f33ff87e7d9811ccd3445a4f6e75.tar.bz2
historical-39f6d572b307f33ff87e7d9811ccd3445a4f6e75.zip
quote directory variables
Package-Manager: portage-2.1.3.15
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r--sci-mathematics/coq/ChangeLog6
-rw-r--r--sci-mathematics/coq/Manifest30
-rw-r--r--sci-mathematics/coq/coq-8.0_p3.ebuild12
-rw-r--r--sci-mathematics/coq/coq-8.1_p1.ebuild6
4 files changed, 29 insertions, 25 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index 1540334f880f..46464cdad179 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.19 2007/10/20 15:51:44 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.20 2007/10/20 15:55:05 aballier Exp $
+
+ 20 Oct 2007; Alexis Ballier <aballier@gentoo.org> coq-8.0_p3.ebuild,
+ coq-8.1_p1.ebuild:
+ quote directory variables
20 Oct 2007; Alexis Ballier <aballier@gentoo.org> -files/ocaml-3.07.patch,
-files/coq-8.0-byteflags.patch, -files/coq-8.0-ocaml-3.08.1.patch,
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index c4b796b2a522..5013c0c2500c 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -10,22 +10,22 @@ DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b44357
DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA1 b182f25b8e6591139281f7078d049aaa7f0408d8 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
DIST coq-8.1pl1.tar.gz 2984726 RMD160 9982d2022abfb2f74dc34cdc6cdd25343f5cb583 SHA1 8142cd21b3d0b5fd56c3b5568550c09cac91a3f8 SHA256 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940
DIST coq-8.1pl2.tar.gz 2997185 RMD160 e45451fdd41b1f979febcfb2c0dbd19a39d09256 SHA1 33ab31abffe42559a5c8341b66a0520805337526 SHA256 04d1ab1cfefe453224dee89d4351fd45a9553acc8f242e87f8fdad6e8af5320c
-EBUILD coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 SHA1 e7e01fa88f0a04c662ca3a7eff494985b4970daa SHA256 fa555a38d6b2f7716b2485cdcd9600b987251fa0ba13f3a06f46fe76d9228927
-MD5 048ee6aefee27e33a7c61c076ec38154 coq-8.0_p3.ebuild 2047
-RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 coq-8.0_p3.ebuild 2047
-SHA256 fa555a38d6b2f7716b2485cdcd9600b987251fa0ba13f3a06f46fe76d9228927 coq-8.0_p3.ebuild 2047
-EBUILD coq-8.1_p1.ebuild 1611 RMD160 559396a223725eda333e1aeaa70ea823b44b466e SHA1 eca906b96ea38132c0a19277e8c2d940fa73a715 SHA256 ee46e0ec50bbaea62c896db4ecfd0cd9f1a29447b33e62eab5f552cc506ab74d
-MD5 3b09dfd84267c421b137c9711f35add1 coq-8.1_p1.ebuild 1611
-RMD160 559396a223725eda333e1aeaa70ea823b44b466e coq-8.1_p1.ebuild 1611
-SHA256 ee46e0ec50bbaea62c896db4ecfd0cd9f1a29447b33e62eab5f552cc506ab74d coq-8.1_p1.ebuild 1611
+EBUILD coq-8.0_p3.ebuild 2060 RMD160 5c9fb6e5104e9824a15a4a82abdfd999d93168bd SHA1 5a39cafd57fc874b055e3958838e154dabe80854 SHA256 8009f9bf144e2fe48f86c2e08449a5bbc6b4a764b8787d5b8cfe1a85075e6930
+MD5 fcf102eef2d175229b01e7880cbf4213 coq-8.0_p3.ebuild 2060
+RMD160 5c9fb6e5104e9824a15a4a82abdfd999d93168bd coq-8.0_p3.ebuild 2060
+SHA256 8009f9bf144e2fe48f86c2e08449a5bbc6b4a764b8787d5b8cfe1a85075e6930 coq-8.0_p3.ebuild 2060
+EBUILD coq-8.1_p1.ebuild 1615 RMD160 f2f185ef5d701bbbb3cf417d52b477ed4e17ba98 SHA1 60eee190fb028495adf7094dd473ab1473dc1649 SHA256 2ace8856bc47881991cfe64606c7d4d0e3ec99e6a1a545ad16c73891fc518168
+MD5 eff7f90e552a097ad58a4ea2606d5092 coq-8.1_p1.ebuild 1615
+RMD160 f2f185ef5d701bbbb3cf417d52b477ed4e17ba98 coq-8.1_p1.ebuild 1615
+SHA256 2ace8856bc47881991cfe64606c7d4d0e3ec99e6a1a545ad16c73891fc518168 coq-8.1_p1.ebuild 1615
EBUILD coq-8.1_p2.ebuild 1707 RMD160 ce08d9a05e6bf60aae1f32501015bc0e4e42246d SHA1 995f6481a4bd1892a7e7bc7d6d5beac5b70f2ca8 SHA256 8eab7d69053318aef442a967885e78dcfa30b2c41656462bd9cc68876043196b
MD5 352d4eeb9b8d3cc44e038527b3b8ffa4 coq-8.1_p2.ebuild 1707
RMD160 ce08d9a05e6bf60aae1f32501015bc0e4e42246d coq-8.1_p2.ebuild 1707
SHA256 8eab7d69053318aef442a967885e78dcfa30b2c41656462bd9cc68876043196b coq-8.1_p2.ebuild 1707
-MISC ChangeLog 4232 RMD160 d848c56628f0ba77e7813ce8783cf65de96d1265 SHA1 f15023afa02e6f5e59b18244c5ae744a66a72722 SHA256 cdd834db29cbcff1596b5983516d8fcf2df3c5d6620156c6d441f077d9e154d6
-MD5 0885d8aa30d6cf496615e04afec01fa0 ChangeLog 4232
-RMD160 d848c56628f0ba77e7813ce8783cf65de96d1265 ChangeLog 4232
-SHA256 cdd834db29cbcff1596b5983516d8fcf2df3c5d6620156c6d441f077d9e154d6 ChangeLog 4232
+MISC ChangeLog 4353 RMD160 cd8b685363d2473c0c94cd4b5f340d1806312896 SHA1 1b7ed8bb96091d2f165aa8ef1fbfb86a616afef3 SHA256 bbe5f9a4197c3b15154fb4570a79e997077c8ade15ab6065a22f624694e36d39
+MD5 ecd83c23c237d66c3c9309b76c7a7a50 ChangeLog 4353
+RMD160 cd8b685363d2473c0c94cd4b5f340d1806312896 ChangeLog 4353
+SHA256 bbe5f9a4197c3b15154fb4570a79e997077c8ade15ab6065a22f624694e36d39 ChangeLog 4353
MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b
MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174
RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174
@@ -42,7 +42,7 @@ SHA256 6e90b572e62f580834a9721149404b02faf2cac779670386219b778dfd7492e3 files/di
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)
-iD8DBQFHGiQfvFcC4BYPU0oRApqpAKCbssH95HAsorB3/f851xbmHGyBEQCfVv+b
-dHGPmX6Eg5o2yuFXIPdUq+k=
-=AFac
+iD8DBQFHGiTqvFcC4BYPU0oRAl+1AKCcjbddmIiIJETyz2BNtTdMLInOwgCfQ9Vk
+7a4NUaFLFhNIuUbi8SI2C4Q=
+=42X3
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/coq/coq-8.0_p3.ebuild b/sci-mathematics/coq/coq-8.0_p3.ebuild
index ad88033cc4b6..fc6f38255b6c 100644
--- a/sci-mathematics/coq/coq-8.0_p3.ebuild
+++ b/sci-mathematics/coq/coq-8.0_p3.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2007 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.6 2007/07/02 15:26:46 peper Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.7 2007/10/20 15:55:05 aballier Exp $
inherit eutils
@@ -29,11 +29,11 @@ S="${WORKDIR}/${MY_P}"
src_unpack()
{
unpack ${A}
- cd ${S}
+ cd "${S}"
if has_version ">=dev-lang/ocaml-3.09";
then
- epatch ${WORKDIR}/${P}-ocaml-3.09.patch
+ epatch "${WORKDIR}/${P}-ocaml-3.09.patch"
fi
}
@@ -69,11 +69,11 @@ src_compile() {
}
src_install() {
- make COQINSTALLPREFIX=${D} install || die
+ make COQINSTALLPREFIX="${D}" install || die
dodoc README CREDITS CHANGES LICENSE
if use translator; then
- cd ${WORKDIR}/${MY_P}-translator
+ cd "${WORKDIR}/${MY_P}-translator"
mv translate-v8 coq-translate-v8
dobin coq-translate-v8
if use doc; then
@@ -83,6 +83,6 @@ src_install() {
if use ide; then
insinto /usr/share/applnk/Edutainment/Mathematics
- doins ${FILESDIR}/coqide.desktop
+ doins "${FILESDIR}/coqide.desktop"
fi
}
diff --git a/sci-mathematics/coq/coq-8.1_p1.ebuild b/sci-mathematics/coq/coq-8.1_p1.ebuild
index d435f21898d6..d9a5c6ed9599 100644
--- a/sci-mathematics/coq/coq-8.1_p1.ebuild
+++ b/sci-mathematics/coq/coq-8.1_p1.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2007 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p1.ebuild,v 1.2 2007/10/11 10:04:22 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p1.ebuild,v 1.3 2007/10/20 15:55:05 aballier Exp $
inherit eutils
@@ -55,11 +55,11 @@ src_compile() {
}
src_install() {
- make COQINSTALLPREFIX=${D} install || die
+ make COQINSTALLPREFIX="${D}" install || die
dodoc README CREDITS CHANGES LICENSE
if use ide; then
insinto /usr/share/applnk/Edutainment/Mathematics
- doins ${FILESDIR}/coqide.desktop
+ doins "${FILESDIR}/coqide.desktop"
fi
}