marionnet

lp:marionnet

Created by Luca Saiu on 2010-04-14 and last modified on 2023-11-08

Our trunk branch

Get this branch:: bzr branch lp:marionnet

Members of Marionnet drivers can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Bug #1085461: build system should support setting a prefix	Undecided	New
Bug #1124053: marionnet's Makefile looks for ocamlbricks in the wrong dir	Undecided	New
Bug #1124072: provide a script to download kernels and filesystems ?	Undecided	New
Bug #1130380: a few typos	Undecided	New
Bug #1135507: mapping between switch name and socket (feature request)	Undecided	New
Bug #1165066: kernel crash	Undecided	Fix Committed
Bug #1722157: typo in Makefile	Undecided	New

Link a bug report

Related blueprints

Branch information

Owner:: Marionnet drivers

Project:: marionnet

Status:: Development

Recent revisions

553. By Jean-Vincent Loddo on 2023-11-08: Minor but relevant changes in marionnet_from_scratch. Now the Makefile's entries `configure' and `switch' are early called with the opam initialization. Also, in Ubuntu >= 20, we force Gtk to display images packed in buttons (as required by marionnet)
552. By Jean-Vincent Loddo on 2023-07-28: Added module Cage, to put objects of any type in a sort of "cage". With this encapsulation, any access, i.e. any call of a method of the inner object, will be sequentialized (thus thread-safe)
551. By Jean-Vincent Loddo on 2023-07-28: Minor changes in Makefile and dune (to enable dune utop)
550. By Jean-Vincent Loddo on 2023-07-06: Added the command-line option -r/--run to immediately run the project specified as argument (argv[1])
549. By Jean-Vincent Loddo on 2023-07-06: Fixed two minor but annoying bugs in the couple marionnet_from_scratch/Makefile (install)
548. By Jean-Vincent Loddo on 2023-07-05: Minor and last changes before the creation of the stable series 0.98.x
547. By Jean-Vincent Loddo on 2023-07-04: Minor changes when closing a project: the GUI prevents the user from doing anything else during this procedure
546. By Jean-Vincent Loddo on 2023-07-04: Big changes for threads in the who-does-what policy. Now the big jobs are done by ephemeral threads, while the main thread, which is gtk_main, takes care of the smaller GUI jobs.
In particular, it will take care of pulsing a progress bar window. Ephemeral threads, for their part, should not act directly on widgets, but rather delegate any small jobs of this kind to the GTK actor.
545. By Jean-Vincent Loddo on 2023-07-01: Improved sequentiality in state.ml calling GMain_actor.delegate in several critical methods. A few new bugs that appeared after the transition to gtk3 now seem to have been fixed with this thread-safe policy.
544. By Jean-Vincent Loddo on 2023-06-29: Gettext machinery adapted to the new building and installation system