casa-mp-base
Public
Commits
Perry E. Metzger authored 5e2cae90691
| 1 1 | # -*- 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 |
| 2 2 | |
| 3 3 | PortSystem 1.0 |
| 4 4 | PortGroup ocaml 1.0 |
| 5 5 | PortGroup active_variants 1.1 |
| 6 6 | PortGroup github 1.0 |
| 7 7 | |
| 8 8 | github.setup garrigue lablgtk lablgtk2188 |
| 9 9 | name lablgtk2 |
| 10 10 | version 2.18.8 |
| 11 - | revision 0 |
| 11 + | revision 1 |
| 12 12 | categories x11 ocaml |
| 13 13 | platforms darwin |
| 14 14 | maintainers {pmetzger @pmetzger} openmaintainer |
| 15 15 | # the apps have a much more restrictive license than the library code |
| 16 16 | license {LGPL-2 Restrictive/Distributable} |
| 17 17 | |
| 18 18 | description OCaml interface to gtk+ 2.x |
| 19 19 | |
| 20 20 | long_description LablGTK2 is is an OCaml interface to gtk+ 2.x. \ |
| 21 21 | It uses the rich type system of OCaml to provide a \ |
| 44 44 | --without-gl \ |
| 45 45 | --with-glade \ |
| 46 46 | --with-gnomecanvas \ |
| 47 47 | --with-gnomeui \ |
| 48 48 | --without-panel \ |
| 49 49 | --without-rsvg \ |
| 50 50 | --without-gtkspell \ |
| 51 51 | --without-gtksourceview \ |
| 52 52 | --without-gtksourceview2 |
| 53 53 | |
| 54 - | build.target world doc |
| 54 + | build.target world |
| 55 + | # Temporarily disable installation of docs until the docs |
| 56 + | # no longer depend on camlp4 |
| 57 + | #build.target world doc |
| 55 58 | use_parallel_build no |
| 56 59 | |
| 57 60 | pre-destroot { xinstall -m 755 -d "${destroot}${prefix}/lib/ocaml/site-libs/stublibs" } |
| 58 61 | |
| 59 62 | destroot.target old-install |
| 60 63 | |
| 61 64 | post-destroot { |
| 62 65 | xinstall -m 755 -d ${ocamlfind_destdir}/lablgtk2 \ |
| 63 66 | ${destroot}${prefix}/share/doc/${name} |
| 64 - | file copy ${worksrcpath}/doc/html ${destroot}${prefix}/share/doc/${name}/ |
| 67 + | # Temporarily disable installation of docs until the docs |
| 68 + | # no longer depend on camlp4 |
| 69 + | #file copy ${worksrcpath}/doc/html ${destroot}${prefix}/share/doc/${name}/ |
| 65 70 | } |
| 66 71 | |
| 67 72 | variant gl description "enable gtkglarea support" { |
| 68 73 | configure.args-delete --without-gl |
| 69 74 | configure.args-append --with-gl |
| 70 75 | depends_lib-append port:lablgl port:gtkglarea2 |
| 71 76 | } |
| 72 77 | |
| 73 78 | variant rsvg description "enable rsvg support" { |
| 74 79 | configure.args-delete --without-rsvg |