diff options
Diffstat (limited to 'dev-lang/mercury')
| -rw-r--r-- | dev-lang/mercury/ChangeLog | 5 | ||||
| -rw-r--r-- | dev-lang/mercury/files/mercury-10.04.2-no-reconf.patch | 13 |
2 files changed, 17 insertions, 1 deletions
diff --git a/dev-lang/mercury/ChangeLog b/dev-lang/mercury/ChangeLog index 5cceb500a4bc..bc934f9d18df 100644 --- a/dev-lang/mercury/ChangeLog +++ b/dev-lang/mercury/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for dev-lang/mercury # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mercury/ChangeLog,v 1.119 2010/10/10 05:01:38 keri Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mercury/ChangeLog,v 1.120 2010/10/22 21:08:25 keri Exp $ + + 22 Oct 2010; <keri@gentoo.org> files/mercury-10.04.2-no-reconf.patch: + Tidy up no-reconf target in Mercury toplevel *mercury-10.04.2 (10 Oct 2010) diff --git a/dev-lang/mercury/files/mercury-10.04.2-no-reconf.patch b/dev-lang/mercury/files/mercury-10.04.2-no-reconf.patch index 166a2bcc44c3..2cfb5ba2e2c3 100644 --- a/dev-lang/mercury/files/mercury-10.04.2-no-reconf.patch +++ b/dev-lang/mercury/files/mercury-10.04.2-no-reconf.patch @@ -1,3 +1,16 @@ +diff -ur mercury-compiler-10.04.2.orig/Mmakefile mercury-compiler-10.04.1/Mmakefile +--- mercury-compiler-10.04.2.orig/Mmakefile 2009-10-20 17:07:24.000000000 +1300 ++++ mercury-compiler-10.04.2/Mmakefile 2010-10-23 09:45:13.000000000 +1300 +@@ -533,8 +533,7 @@ + install_slice \ + install_profiler \ + install_deep_profiler \ +- install_doc \ +- install_config ++ install_doc + + .PHONY: install_scripts + install_scripts: scripts diff -ur mercury-compiler-10.04.2.orig/runtime/Mmakefile mercury-compiler-10.04.1/runtime/Mmakefile --- mercury-compiler-10.04.2.orig/runtime/Mmakefile 2010-07-16 03:24:52.000000000 +1200 +++ mercury-compiler-10.04.2/runtime/Mmakefile 2010-09-05 09:15:31.000000000 +1200 |