Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:ithod:updated
unison
0002-Fix-dune-build-of-the-GTK-GUI.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0002-Fix-dune-build-of-the-GTK-GUI.patch of Package unison
From 6eddded5096157b5bcfb9d6a209ecfd321c0b27c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?T=C3=B5ivo=20Leedj=C3=A4rv?= <toivol@gmail.com> Date: Tue, 7 May 2024 13:18:47 +0200 Subject: [PATCH 2/2] 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 c784f10..06d6078 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)) -- 2.44.0
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor