pkgsrc/x11/ocaml-lablgtk/PLIST.gnomepanel
dholland f9b8270b3a Detach the gnomecanvas option from libgnomeui and gnome-panel (which are
both very heavyweight) -- control these with the "gnome" option instead.

Everything's still enabled by default, so no version bump.
2017-09-05 04:22:09 +00:00

11 lines
551 B
Text

@comment $NetBSD: PLIST.gnomepanel,v 1.1 2017/09/05 04:22:09 dholland Exp $
${PLIST.ocaml-opt}${OCAML_SITELIB}/lablgtk2/lablpanel.a
${OCAML_SITELIB}/lablgtk2/lablpanel.cma
${PLIST.ocaml-opt}${OCAML_SITELIB}/lablgtk2/lablpanel.cmxa
${PLIST.ocaml-opt}${OCAML_SITELIB}/lablgtk2/lablpanel.cmxs
${OCAML_SITELIB}/lablgtk2/liblablpanel.a
${OCAML_SITELIB}/lablgtk2/panel.cmi
${PLIST.ocaml-opt}${OCAML_SITELIB}/lablgtk2/panel.cmx
${OCAML_SITELIB}/lablgtk2/panel.ml
${OCAML_SITELIB}/lablgtk2/panel_tags.h
${PLIST.stubs}${OCAML_SITELIB}/lablgtk2/dlllablpanel.so