Description

If you have problems compiling this on MacOS X, try this using Homebrew:

$ brew install gtk+ $ export PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig $ opam install lablgtk

Published: 29 Oct 2014

Dependencies (4)

  1. conf-gtk2 build
  2. camlp4
  3. ocamlfind >= "1.2.1"
  4. ocaml >= "3.11.0" & < "4.04.0"

Reverse Dependencies (34)

  1. 0install-gtk < "2.16"
  2. alt-ergo-free >= "2.3.3"
  3. altgr-ergo < "2.4.2"
  4. bimage-gtk < "0.1.1"
  5. cairo != "0.4.2"
  6. cairo2 < "0.4.6"
  7. cairo2-gtk
  8. cairo2-pango
  9. chamo = "2.03"
  10. coqide < "8.10.0"
  11. dbforge
  12. frama-c != "10.0" & < "22.0"
  13. freetennis
  14. genet
  15. gtk-light
  16. gtktop
  17. lablgtk-extras
  18. lablgtkosx
  19. lwt_glib < "1.0.1"
  20. mlpost-lablgtk
  21. ocaml-top < "1.2.0"
  22. ocamldiff < "1.1"
  23. ocamldot < "1.1"
  24. ocamleditor
  25. ocamlgraph_gtk
  26. ocamlviz
  27. odiff-gtk
  28. picasso < "0.2.0"
  29. profound
  30. proverif >= "1.98"
  31. unison < "2.48.15v4"
  32. why3 >= "0.83" & < "1.0.0"
  33. why3-ide < "1.6.0"
  34. zelus-gtk

Conflicts

    None
OCaml interface to GTK+

Install

Documentation garrigue.github.io Edit opam file

Authors

  1. Jacques Garrigue

Maintainers

  1. G
    garrigue@math.nagoya-u.ac.jp

Sources

lablgtk-2.18.3.tar.gz
md5=bcbad64a28c3dc40f24cc7a4d2f1d0dd