Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-09 22:49:53 +08:00
Code Issues Actions 30 Packages Projects Releases Wiki Activity

extend workaround lablgtk fix to all 2.18 versions (#2264)

Browse Source
This commit is contained in:
Kirk Scheper
2018-05-16 23:39:31 +02:00
committed by Gautier Hattenberger
parent f3f70cb13d
commit 801a979011
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/Makefile
+1 -1
View File
@@ -51,7 +51,7 @@ endif
# see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822949 and https://bugs.launchpad.net/ubuntu/+source/lablgtk2/+bug/1577236
# Ubuntu 16.04: 2.18.3+dfsg-1 Ubuntu 16.10: 2.18.3+dfsg-2
LABLGTK2_DEB := $(shell LC_ALL=C apt-cache policy liblablgtk2-ocaml | grep Installed | awk '{print $$2}' 2>/dev/null)
ifneq (,$(findstring 2.18.3+dfsg, $(LABLGTK2_DEB)))
ifneq (,$(findstring 2.18, $(LABLGTK2_DEB)))
CAMLP4_DEFS = -DGDK_NATIVE_WINDOW
endif
CAMLP4_DEFS ?=