From 6eddded5096157b5bcfb9d6a209ecfd321c0b27c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?T=C3=B5ivo=20Leedj=C3=A4rv?= Date: Tue, 7 May 2024 13:18:47 +0200 Subject: [PATCH] Fix dune build of the GTK GUI --- src/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dune b/src/dune index c784f1092..06d60786f 100644 --- a/src/dune +++ b/src/dune @@ -1,7 +1,7 @@ (library (name unison_lib) (wrapped false) - (modules :standard \ linktext linkgtk3 uigtk3 uimacbridge test) + (modules :standard \ linktext linkgtk3 uigtk3 pixmaps uimacbridge test) (modules_without_implementation ui) (flags :standard -w -3-6-9-10-26-27-32-34-35-38-39-50-52 @@ -27,5 +27,5 @@ (public_name unison-gui) (package unison-gui) ; Dummy: we don't use packages (flags :standard -w -3-6-9-27-32-52) - (modules linkgtk3 uigtk3) + (modules linkgtk3 uigtk3 pixmaps) (libraries threads unison_lib lablgtk3))