dev-ml / lablgtk

Objective CAML interface for Gtk+2

Official package sites : http://lablgtk.forge.ocamlcore.org ·

v2.18.10 :: 2/2.18.10 :: gentoo

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

v2.18.8-r1 :: 2/2.18.8 :: gentoo

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

v2.18.5 :: 2/2.18.5 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception examples? ( lablgtk-examples )
Keywords
amd64 ppc ppc64 sparc x86 ~alpha ~amd64-linux ~arm ~arm64 ~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 / camlp4 : System for writing extensible parsers for programming languages

dev-ml / findlib : OCaml tool to find/use non-standard packages

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

virtual / pkgconfig : Virtual for the pkg-config implementation

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 / camlp4 : System for writing extensible parsers for programming languages

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 / cairo-ocaml : Ocaml bindings for the cairo vector graphics library

dev-ml / ocamlgraph : O'Caml Graph library

dev-ml / ocamlnet : Modules for OCaml application-level Internet protocols

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

713540
Please stabilize dev-ml/lablgtk-2.18.10
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