1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 3 Aug 2020 16:01:02 +0200
Subject: Build without lablgtksourceview2
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=967041
---
checkocaml.ml | 1 -
src/META | 2 +-
src/Makefile | 3 +--
3 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/checkocaml.ml b/checkocaml.ml
index 8a11045..c06b440 100644
--- a/checkocaml.ml
+++ b/checkocaml.ml
@@ -932,7 +932,6 @@ let _ = !print "\n### checking required tools and libraries ###\n"
let _ = check_ocamlfind_package conf "config-file";;
let _ = check_ocamlfind_package conf ~min_version: [2;16;0] "lablgtk2";;
-let _ = check_ocamlfind_package conf "lablgtk2.sourceview2";;
let _ = check_ocamlfind_package conf ~min_version: [1;1] "xmlm";;
let _ = !print "\n###\n"
diff --git a/src/META b/src/META
index e372939..594e1e0 100644
--- a/src/META
+++ b/src/META
@@ -1,5 +1,5 @@
description = "Additional libraries for Lablgtk2"
-requires = "unix,xmlm,lablgtk2,config-file,lablgtk2.sourceview2"
+requires = "unix,xmlm,lablgtk2,config-file"
version = "1.5"
archive(byte) = "lablgtkextras.cma"
diff --git a/src/Makefile b/src/Makefile
index 885662f..773cb8d 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -26,7 +26,7 @@
include ../master.Makefile
-PACKAGES=config-file,lablgtk2.sourceview2,xmlm
+PACKAGES=config-file,lablgtk2,xmlm
OF_FLAGS= -package $(PACKAGES)
COMPFLAGS=-annot -g -warn-error +1..49-3
@@ -39,7 +39,6 @@ GELIB_CMOFILES= \
gdir.cmo \
gmylist.cmo \
gmytree.cmo \
- gtksv_utils.cmo
GELIB_CMXFILES=$(GELIB_CMOFILES:.cmo=.cmx)
GELIB_CMIFILES=$(GELIB_CMOFILES:.cmo=.cmi)
|
