Fix dune build of the GTK GUI

liyishuai · May 7, 2024 · 6eddded · 6eddded
1 parent 941b19b
commit 6eddded
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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))