Skip to content
Permalink
Browse files

Bug: https://trac.macports.org/ticket/1294

Submitted by:   mww@

-updates to 3.07pl2
-now works on OS-X 10.3 and FreeBSD 5.1
-manpage path is now ${prefix}/share/man

git-svn-id: https://svn.macports.org/repository/macports/trunk/dports@4295 d073be05-634f-4543-b044-5fe20cf6d1d6
  • Loading branch information
Markus W. Weißmann
Markus W. Weißmann committed Dec 24, 2003
1 parent c64f586 commit a358166a5d795fced0d4af44b43302f98eff85be
Showing with 21 additions and 18 deletions.
  1. +21 −18 lang/ocaml/Portfile
@@ -1,9 +1,8 @@
# $Id: Portfile,v 1.9 2003/08/05 09:29:16 jkh Exp $
# $Id: Portfile,v 1.10 2003/12/24 01:27:55 mww Exp $

PortSystem 1.0
name ocaml
version 3.06+27
revision 0
version 3.07pl2
categories lang
maintainers jpm@opendarwin.org
description Latest implementation of the Caml dialect of ML
@@ -16,20 +15,24 @@ long_description \
3) A high-performance native code compiler (in addition to a Caml \
Light-style bytecode compiler).
homepage http://caml.inria.fr/ocaml
platforms darwin
master_sites http://savannah.nongnu.org/download/mldonkey/tools/
checksums md5 6e8685c23c3dafbf7c87e7fbbd69e339
# fetch.type cvs
# cvs.root :pserver:anoncvs@camlcvs.inria.fr:/caml
# cvs.module ocaml
# distname ocaml
configure {
cd ${worksrcpath}
system "./configure --no-tk --tk-no-x11 --bindir ${prefix}/bin \
--libdir ${prefix}/lib/ocaml --mandir ${prefix}/man/man1 \
--prefix ${prefix}"
}
platforms darwin freebsd
master_sites http://caml.inria.fr/distrib/${name}-3.07/
checksums md5 e58057f1ecca2da3fee035c846ac7db2

set worksrcpath ${workpath}/${name}-3.07/

configure.env CFLAGS=-no-cpp-precomp
configure.pre_args --prefix ${prefix}
configure.args --no-tk \
--tk-no-x11 \
--bindir ${prefix}/bin \
--libdir ${prefix}/lib/ocaml \
--mandir ${prefix}/share/man \

build.type gnu
build.dir ${worksrcpath}
build.target world opt

destroot.args BINDIR=${destroot}/${prefix}/bin \
LIBDIR=${destroot}/${prefix}/lib/ocaml \
MANDIR=${destroot}/${prefix}/man/man1
LIBDIR=${destroot}/${prefix}/lib/ocaml \
MANDIR=${destroot}/${prefix}/share/man

0 comments on commit a358166

Please sign in to comment.
You can’t perform that action at this time.