[paparazzi-commits] [paparazzi/paparazzi] ce93de: [ocaml] use glib from gtk3 if gtk2 is not found

[Gautier Hattenberger]

  Branch: refs/heads/lablgtk3
  Home:   https://github.com/paparazzi/paparazzi
  Commit: ce93de066de2f615e9aae459bd1c4be3adc50d73
      
https://github.com/paparazzi/paparazzi/commit/ce93de066de2f615e9aae459bd1c4be3adc50d73
  Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
  Date:   2024-06-05 (Wed, 05 Jun 2024)

  Changed paths:
    M sw/Makefile.ocaml
    M sw/ground_segment/cockpit/Makefile
    M sw/ground_segment/cockpit/lib/Makefile
    M sw/ground_segment/joystick/Makefile
    M sw/ground_segment/tmtc/Makefile
    M sw/lib/ocaml/META.pprz
    M sw/lib/ocaml/Makefile
    M sw/logalizer/Makefile
    M sw/simulator/Makefile
    M sw/supervision/Makefile

  Log Message:
  -----------
  [ocaml] use glib from gtk3 if gtk2 is not found

gtk3 doesn't support all features of gtk2 (or have a different
interface), so if only gtk3 is found, GUI tools are not compiled,
only CLI tools based only on glib.
If no gtk found, tools based on glib/gtk are not compiled.



To unsubscribe from these emails, change your notification settings at 
https://github.com/paparazzi/paparazzi/settings/notifications