dev-ml / lablgtk

OCaml bindings to GTK-3

Official package sites : https://github.com/garrigue/lablgtk ·

v3.1.1 :: 3/3.1.1 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
amd64 ppc ppc64 x86 ~arm ~arm64
USE flags
ocamlopt sourceview

v2.18.10 :: 2/2.18.10 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception examples? ( lablgtk-examples )
Keywords
amd64 arm arm64 ppc ppc64 x86 ~alpha ~amd64-linux ~ia64 ~x86-linux
USE flags
debug examples glade gnomecanvas ocamlopt sourceview spell svg

General

debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
examples
Install examples, usually source code
glade
Enable libglade bindings compilation.
gnomecanvas
Enable libgnomecanvas bindings compilation.
ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
sourceview
Enable GtkSourceView support
spell
Add dictionary support
svg
Add support for SVG (Scalable Vector Graphics)

app-text / gtkspell : Spell checking widget for GTK

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / cairo2 : Binding to Cairo, a 2D Vector Graphics Library

dev-ml / camlp4 : System for writing extensible parsers for programming languages

dev-ml / dune : A composable build system for OCaml

gnome-base / libglade : Library to construct graphical interfaces at runtime

gnome-base / libgnomecanvas : The Gnome 2 Canvas library

gnome-base / librsvg : Scalable Vector Graphics (SVG) rendering library

x11-libs / gtk+ : Gimp ToolKit +

x11-libs / gtksourceview : A text widget implementing syntax highlighting and other features

app-text / gtkspell : Spell checking widget for GTK

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / cairo2 : Binding to Cairo, a 2D Vector Graphics Library

dev-ml / camlp4 : System for writing extensible parsers for programming languages

dev-ml / dune : A composable build system for OCaml

gnome-base / libglade : Library to construct graphical interfaces at runtime

gnome-base / libgnomecanvas : The Gnome 2 Canvas library

gnome-base / librsvg : Scalable Vector Graphics (SVG) rendering library

x11-libs / gtk+ : Gimp ToolKit +

x11-libs / gtksourceview : A text widget implementing syntax highlighting and other features

dev-ml / lablgtk-sourceview : OCaml bindings to GTK-3

dev-ml / ocamlgraph : O'Caml Graph library

net-misc / unison : Two-way cross-platform file synchronizer

net-p2p / mldonkey : Multi-network P2P application written in Ocaml, with Gtk, web & telnet interface

sci-mathematics / alt-ergo : Automatic theorem prover

sci-mathematics / coq : Proof assistant written in O'Caml

sci-mathematics / why3-for-spark : Platform for deductive program verification

769287
dev-ml/lablgtk:2 depends on app-text/gtkspell:2 and x11-libs/gtk+:2
769332
sci-mathematics/alt-ergo[gtk] depends on dev-ml/lablgtk:2
769338
net-p2p/mldonkey[gtk] depends on dev-ml/lablgtk:2
769341
net-misc/unison[gtk] depends on dev-ml/lablgtk:2
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: Stabilize 2.18.10 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/lablgtk: Stabilize 2.18.10 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: drop 2.18.5, 2.18.8-r1
Signed-off-by: Sam James <sam@gentoo.org>
Andreas Sturmlechner · gentoo
dev-ml/lablgtk: Revert "Drop 2.18.5 and 2.18.8-r1, EAPI5--"
Wrong branch pushed, sorry. This reverts commit e3b08dd2f60331b1a5c49a3f86a7e03fde75bebc. Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/lablgtk: dep on ocaml<4.06
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Andreas Sturmlechner · gentoo
dev-ml/lablgtk: Drop 2.18.5 and 2.18.8-r1, EAPI5--
Closes: https://bugs.gentoo.org/713540 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: Stabilize 3.1.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/lablgtk: Stabilize 3.1.1 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: Stabilize 3.1.1 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: Stabilize 3.1.1 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/lablgtk: fix dep
Closes: https://bugs.gentoo.org/750788 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: Stabilize 2.18.10 ppc, #713540
Thanks-to: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: Keyword 3.1.1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: Keyword 3.1.1 arm, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/lablgtk: Keyword 3.1.1 arm64, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/lablgtk: add missing camlp5 dep to 3.1.1
Closes: https://bugs.gentoo.org/748690 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/lablgtk: Add slot 3, bump to 3.1.1
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
*/*: depeywork dev-lang/ocaml and revdeps on sparc
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ml/lablgtk: amd64 stable wrt bug #713540
Package-Manager: Portage-2.3.103, Repoman-2.3.23 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/lablgtk: fix broken symlink
Closes: https://bugs.gentoo.org/741392 Package-Manager: Portage-3.0.4, Repoman-2.3.23 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-ml/lablgtk: stable 2.18.10 for ppc64
stable wrt bug #713540 Package-Manager: Portage-3.0.5, Repoman-3.0.1 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Thomas Deutschmann · gentoo
dev-ml/lablgtk: x86 stable (bug #713540)
Package-Manager: Portage-2.3.101, Repoman-2.3.22 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/lablgtk: uses CFLAGS and fix -fno-common
Closes: https://bugs.gentoo.org/721952 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
*/*: Drop stable ia64 keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/lablgtk: require a newerb version of dev-lang/ocaml
Closes: https://bugs.gentoo.org/713578 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
dev-ml/lablgtk: Remove USE="opengl"
* Depends on EOL GtkGLArea Package-Manager: Portage-2.3.93, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: [QA] Use consistent function definition formatting
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/lablgtk: version bump to 2.18.10
Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Bump copyright on files touched this year
Update the copyright notice on all files that were touched since January 1st but did not have the notice updated. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Joonas Niilola · gentoo
dev-ml/lablgtk: remove old 2.18.8-r0
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Joonas Niilola · gentoo
dev-ml/lablgtk: revbump 2.18.8, EAPI-7, fix CI issue, restore KEYWORDS
- bump EAPI-7, - drop findlib.eclass, - drop multilib.eclass, - fix DeprecatedInsinto CI issue, - restore KEYWORDS from lablgtk-2.18.5.ebuild, - rework 'examples' logic to obey small-files QA policy, - sort dependencies, - sort ebuild global variables to follow default skel, - sort IUSE, - use BDEPEND, - use DOCS array, - use econf array. Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
*/*: Drop stable alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jason A. Donenfeld · gentoo
dev-ml/lablgtk: version bump to 2.18.8
Fixes: https://bugs.gentoo.org/704148 Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-ml: Remove *-fbsd KEYWORDS
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Alexis Ballier · gentoo
dev-ml/lablgtk: Remove 2.18.6, moved to overlay
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-ml/lablgtk: allow ocaml 4.06 beta too
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-ml/lablgtk: bump to 2.18.6
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-ml/lablgtk: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Markus Meier · gentoo
dev-ml/lablgtk: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2 RepoMan-Options: --include-arches="arm"
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Alexis Ballier · gentoo
dev-ml/lablgtk: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Tobias Klausmann · gentoo
dev-ml/lablgtk-2.18.5-r0: stable on alpha
Gentoo-Bug: 604934
Agostino Sarubbo · gentoo
dev-ml/lablgtk: sparc stable wrt bug #586916
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: sparc stable wrt bug #604934
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ppc64 stable wrt bug #604934
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ppc64 stable wrt bug #586916
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ia64 stable wrt bug #586916
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ia64 stable wrt bug #604934
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ppc stable wrt bug #604934
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ppc stable wrt bug #586916
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Mikle Kolyada · gentoo
dev-ml/lablgtk: ia64/sparc stable
Package-Manager: portage-2.3.0
Agostino Sarubbo · gentoo
dev-ml/lablgtk: x86 stable wrt bug #604934
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: x86 stable wrt bug #586916
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Aaron Bauman · gentoo
dev-ml/lablgtk: amd64 stable
Aaron Bauman · gentoo
dev-ml/lablgtk: amd64 stable wrt bug #586916
Alexis Ballier · gentoo
dev-ml/lablgtk: bump to 2.18.5
Package-Manager: portage-2.3.0
Tobias Klausmann · gentoo
dev-ml/lablgtk-2.18.4-r1: add alpha keyword
Gentoo-Bug: 586916
Michał Górny · gentoo
dev-ml/lablgtk: Split stable into old OCaml & camlp4 variants, #586916
Split the stable version into a variant supporting old OCaml and one supporting camlp4, in order to solve :=-in-|| problem. The old ebuild is only targeted at stable ia64 & sparc users that do not have camlp4 stable.
Alexis Ballier · gentoo
dev-ml/lablgtk: drop backward compat dep on camlp4
Package-Manager: portage-2.3.0 RepoMan-Options: --force
Alexis Ballier · gentoo
Revert "dev-ml/*: Remove := slot ops from || deps, #586304"
This reverts commit 2d4ac687fbf44588f764697c9dcb2b960a18d51b. This commit is wrong in several aspects: - Such changes should come with a revbump - Removing := deps causes packages not to be rebuilt on upgrades, causing barely understandable build failures when upgrading, later on. Thanks to this commit, people that have installed those packages will likely experience those failures with the upcoming ocaml 4.03 unmask. - This is a non maintainer commit where no discussion at all happened with the maintainers during the 3 days between bug report and mass commit. Such discussion could have prevented the above mentioned breakage. Proper fix is to drop the backward compatibility part of the || () dep. This fix was slowly moving forward whenever possible and noticed. Main blocker for this is bug #463018 which requires taking extra care for not breaking the stable tree nor needlessly preventing future stabilization of packages.
Michał Górny · gentoo
dev-ml/*: Remove := slot ops from || deps, #586304
Alexis Ballier · gentoo
dev-ml/lablgtk: remove old
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/lablgtk: bump to 2.18.4
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ppc64 stable wrt bug #566610
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ia64 stable wrt bug #566610
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: alpha stable wrt bug #566610
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="alpha" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: sparc stable wrt bug #566610
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: ppc stable wrt bug #566610
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: x86 stable wrt bug #566610
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/lablgtk: amd64 stable wrt bug #566610
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed