summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthieu Sozeau <mattam@gentoo.org>2006-02-06 15:18:30 +0000
committerMatthieu Sozeau <mattam@gentoo.org>2006-02-06 15:18:30 +0000
commit5f0f952469c13af26c78812f3295a011aa1f5c6c (patch)
treeb4f446f06c6c26d2f7ee2febbf6fae7dc59c6012 /sci-mathematics
parentrevision to patchset to incude makeopts patch (diff)
downloadhistorical-5f0f952469c13af26c78812f3295a011aa1f5c6c.tar.gz
historical-5f0f952469c13af26c78812f3295a011aa1f5c6c.tar.bz2
historical-5f0f952469c13af26c78812f3295a011aa1f5c6c.zip
Fix bad path of patch.
Package-Manager: portage-2.0.51.22-r2
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/coq/ChangeLog5
-rw-r--r--sci-mathematics/coq/Manifest12
-rw-r--r--sci-mathematics/coq/coq-8.0_p3.ebuild4
3 files changed, 12 insertions, 9 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index 9ac848b86bfe..896530efc1b5 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2006 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.5 2006/02/04 17:15:51 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.6 2006/02/06 15:18:30 mattam Exp $
+
+ 06 Feb 2006; Matthieu Sozeau <mattam@gentoo.org> coq-8.0_p3.ebuild:
+ Correct patch path.
04 Feb 2006; Matthieu Sozeau <mattam@gentoo.org> -coq-7.4.ebuild,
coq-8.0-r1.ebuild:
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index d81cce0951e5..82800cbe73e6 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,10 +1,10 @@
-MD5 2561503852b06c6950d1e30e0c696835 coq-8.0_p3.ebuild 2059
-MD5 f53f121e28c13d7bc92083befddc19f0 ChangeLog 2312
-MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
+MD5 33ed2f313933f2c53cc6a9033b3248eb ChangeLog 2405
MD5 cb991d5ec534868ff853690657f2e104 coq-8.0-r1.ebuild 2069
+MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
+MD5 3c5fa38730258cd884b0156b4a8ad519 coq-8.0_p3.ebuild 2054
+MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321
-MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136
+MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
MD5 94b1d26b3c8781903409657f25b64f29 files/digest-coq-8.0_p3 209
+MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136
MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
-MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
-MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
diff --git a/sci-mathematics/coq/coq-8.0_p3.ebuild b/sci-mathematics/coq/coq-8.0_p3.ebuild
index 75a6aa180150..0e6eb55671ee 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-2006 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.1 2006/02/04 16:30:27 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.2 2006/02/06 15:18:30 mattam Exp $
inherit eutils
@@ -33,7 +33,7 @@ src_unpack()
if has_version ">=dev-lang/ocaml-3.09";
then
- epatch ${DISTFILES}/${P}-ocaml-3.09.patch.gz
+ epatch ${WORKDIR}/${P}-ocaml-3.09.patch
fi
}