aboutsummaryrefslogtreecommitdiff
path: root/lang/metaocaml/files
diff options
context:
space:
mode:
authorJean-Yves Lefort <jylefort@FreeBSD.org>2005-11-29 15:02:17 +0000
committerJean-Yves Lefort <jylefort@FreeBSD.org>2005-11-29 15:02:17 +0000
commit3f610faf42cdea1368850fdc35af91739883be73 (patch)
tree143819fd6d08e2ef415fab270a737311669216ae /lang/metaocaml/files
parentcc8f09dd28e5037ed3a8527782c5d51f72a1b484 (diff)
downloadports-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-configure15
-rw-r--r--lang/metaocaml/files/pkg-message.in4
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.
+********************************************************************************