diff options
author | Jean-Yves Lefort <jylefort@FreeBSD.org> | 2005-11-29 15:02:17 +0000 |
---|---|---|
committer | Jean-Yves Lefort <jylefort@FreeBSD.org> | 2005-11-29 15:02:17 +0000 |
commit | 3f610faf42cdea1368850fdc35af91739883be73 (patch) | |
tree | 143819fd6d08e2ef415fab270a737311669216ae /lang/metaocaml/files | |
parent | cc8f09dd28e5037ed3a8527782c5d51f72a1b484 (diff) | |
download | ports-3f610faf42cdea1368850fdc35af91739883be73.tar.gz ports-3f610faf42cdea1368850fdc35af91739883be73.zip |
- Update to 3.08.a27 [1]
- Respect ${CC}
- Remove -O from vendor CFLAGS
- Use SUB_FILES=pkg-message
[1]:
PR: ports/89701
Submitted by: maintainer
Notes
Notes:
svn path=/head/; revision=149911
Diffstat (limited to 'lang/metaocaml/files')
-rw-r--r-- | lang/metaocaml/files/patch-configure | 15 | ||||
-rw-r--r-- | lang/metaocaml/files/pkg-message.in | 4 |
2 files changed, 16 insertions, 3 deletions
diff --git a/lang/metaocaml/files/patch-configure b/lang/metaocaml/files/patch-configure index b300cbf32078..117e2fc72154 100644 --- a/lang/metaocaml/files/patch-configure +++ b/lang/metaocaml/files/patch-configure @@ -1,6 +1,14 @@ ---- configure.orig Thu Jul 15 16:17:46 2004 -+++ configure Thu Jul 15 16:58:51 2004 -@@ -1113,116 +1113,14 @@ +--- configure.orig Mon Oct 17 10:20:41 2005 ++++ configure Sat Nov 5 22:40:41 2005 +@@ -653,6 +653,7 @@ + alpha,*,digital) profiling='prof';; + i386,*,linux_elf) profiling='prof';; + i386,*,bsd_elf) profiling='prof';; ++ *,*,freebsd) profiling='prof';; + sparc,*,solaris) + profiling='prof' + case "$nativecc" in gcc*) ;; *) cc_profile='-xpg';; esac;; +@@ -1123,117 +1124,14 @@ x11_include="not found" x11_link="not found" @@ -63,6 +71,7 @@ - $x11_lib_dir \ - $x11_try_lib_dir \ - \ +- /usr/X11R6/lib64 \ - /usr/X11R6/lib \ - /usr/lib/X11R6 \ - /usr/local/X11R6/lib \ diff --git a/lang/metaocaml/files/pkg-message.in b/lang/metaocaml/files/pkg-message.in new file mode 100644 index 000000000000..5ab210798ab8 --- /dev/null +++ b/lang/metaocaml/files/pkg-message.in @@ -0,0 +1,4 @@ +******************************************************************************** +The %%PORTNAME%% port installs all man pages in %%DATADIR%%/man. +Please edit your MANPATH (or /etc/manpath.config) appropriately. +******************************************************************************** |