diff options
author | jylefort <jylefort@FreeBSD.org> | 2005-11-29 23:02:17 +0800 |
---|---|---|
committer | jylefort <jylefort@FreeBSD.org> | 2005-11-29 23:02:17 +0800 |
commit | 6618a47422505c35cc49653d2365e9675d62dc3c (patch) | |
tree | c8261c2ca25127744d31d93460f8971271f2319c /lang/metaocaml/files | |
parent | 213c0565f8b8096920806eadec33aa3e9f272252 (diff) | |
download | freebsd-ports-gnome-6618a47422505c35cc49653d2365e9675d62dc3c.tar.gz freebsd-ports-gnome-6618a47422505c35cc49653d2365e9675d62dc3c.tar.zst freebsd-ports-gnome-6618a47422505c35cc49653d2365e9675d62dc3c.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
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. +******************************************************************************** |