Permalink
Fetching contributors…
Cannot retrieve contributors at this time
112 lines (89 sloc) 3.73 KB
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
PortSystem 1.0
PortGroup ocaml 1.0
PortGroup active_variants 1.1
name lablgtk2
version 2.18.6
#revision 0
set download_id 1726
categories x11 ml
platforms darwin
maintainers nomaintainer
# the apps have a much more restrictive license than the library code
license {LGPL-2 Restrictive/Distributable}
description Objective Caml interface to gtk+ 2.x
long_description LablGTK2 is is an Objective Caml interface to gtk+ 2.x. \
It uses the rich type system of Objective Caml to provide a \
strongly typed, yet very comfortable, object-oriented interface to \
gtk+. This is not that easy if you know the dynamic typing approach \
taken by gtk+.
homepage http://lablgtk.forge.ocamlcore.org/
master_sites https://forge.ocamlcore.org/frs/download.php/${download_id}/
distname lablgtk-${version}
checksums rmd160 6fef28c6ec2757da3e0773d33c77c13abaf61895 \
sha256 4ddca243066418e2a88ac49ebf2d846fac4b667b1b1753efadd078ae777368f8 \
size 804837
depends_build port:pkgconfig \
port:ocaml-camlp4
depends_lib port:ocaml \
port:ocaml-findlib \
port:gtk2 \
port:libglade2 \
port:libgnomecanvas \
port:libgnomeui
configure.args --with-libdir=${ocamlfind_dir} \
--without-gl \
--with-glade \
--with-gnomecanvas \
--with-gnomeui \
--without-panel \
--without-rsvg \
--without-gtkspell \
--without-gtksourceview \
--without-gtksourceview2
build.target world doc
use_parallel_build no
pre-destroot { xinstall -m 755 -d "${destroot}${prefix}/lib/ocaml/site-libs/stublibs" }
destroot.target old-install
post-destroot {
xinstall -m 755 -d ${ocamlfind_destdir}/lablgtk2 \
${destroot}${prefix}/share/doc/${name}
file copy ${worksrcpath}/doc/html ${destroot}${prefix}/share/doc/${name}/
}
variant gl description "enable gtkglarea support" {
configure.args-delete --without-gl
configure.args-append --with-gl
depends_lib-append port:lablgl port:gtkglarea2
}
variant rsvg description "enable rsvg support" {
configure.args-delete --without-rsvg
configure.args-append --with-rsvg
depends_lib-append port:librsvg
}
variant gtksourceview description "enable gtksourceview support" {
configure.args-delete --without-gtksourceview
configure.args-append --with-gtksourceview
depends_lib-append port:gtksourceview
}
variant gtksourceview2 description "enable gtksourceview2 support" {
configure.args-delete --without-gtksourceview2
configure.args-append --with-gtksourceview2
depends_lib-append port:gtksourceview2
}
variant x11 conflicts quartz {
configure.args-append --without-quartz
}
variant quartz conflicts x11 {
configure.args-append --with-quartz
# for now, libgnomeui does not install if gtk2 was installed with +quartz
depends_lib-delete port:libgnomeui
configure.args-replace --with-gnomeui --without-gnomeui
}
if {![variant_isset quartz]} {
default_variants +x11
require_active_variants gtk2 x11 quartz
} else {
require_active_variants gtk2 quartz x11
}
livecheck.type regex
livecheck.regex {lablgtk-([0-9]+(\.[0-9]+)+)\.}