marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 553: Minor but relevant changes in marionnet_from_scratch. Now the Makefile's entries `configure' and ...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Wed, 08 Nov 2023 10:46:10 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: noreply@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 553
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Wed 2023-11-08 10:35:56 +0000
message:
  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)
modified:
  CONFIGME.choice@
  Makefile
  bin/gui/gui_window_MARIONNET.ml
  useful-scripts/marionnet_from_scratch


--
lp:marionnet
https://code.launchpad.net/~marionnet-drivers/marionnet/trunk

Your team marionnet-dev is subscribed to branch lp:marionnet.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/marionnet/trunk/+edit-subscription