From 6bd240fce21c172680a0cec5346b66e08c76418a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 30 Oct 2017 23:48:30 +0100
Subject: [ci] [coq] Complete 4.06.0 support.

Due to an API change in laglgtk, we need to update CoqIDE. We use a
makefile hack so it can compile with lablgtk < 2.8.16, another option
would be to require 2.8.16 as a minimal dependency.

We also refactor travis to test more lablgtk versions.

We also need to account for improved attribute handling in 4.06.0, in
particular module aliases will propagate the deprecation status.

Fixes #6140.
---
 Makefile.ide | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Makefile.ide')

diff --git a/Makefile.ide b/Makefile.ide
index 7593a9f2e..7d809f67a 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -123,6 +123,15 @@ ide/%.cmx: ide/%.ml
 	$(SHOW)'OCAMLOPT  $<'
 	$(HIDE)$(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -c $<
 
+# We need to compile this file without -safe-string due mess with
+# lablgtk API. Other option is to require lablgtk >= 2.8.16
+ide/ideutils.cmo: ide/ideutils.ml
+	$(SHOW)'OCAMLC    $<'
+	$(HIDE)$(filter-out -safe-string,$(OCAMLC)) $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
+
+ide/ideutils.cmx: ide/ideutils.ml
+	$(SHOW)'OCAMLOPT  $<'
+	$(HIDE)$(filter-out -safe-string,$(OCAMLOPT)) $(COQIDEFLAGS) $(filter-out -safe-string,$(OPTFLAGS)) -c $<
 
 ####################
 ## Install targets
-- 
cgit v1.2.3