Package: ocsigenserver / 2.16.0-3

0001-Fix-compilation-in-Debian.patch Patch series | download
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
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 23 Jan 2020 17:07:28 +0100
Subject: Fix compilation in Debian

---
 doc/Makefile            | 2 +-
 src/extensions/Makefile | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 449a68d..fd5d3b6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,7 +7,7 @@ ODOC_WIKI := odoc_wiki.cma
 LIBS := -package lwt,lwt_log,lwt_ssl,tyxml,ssl,netstring,netstring-pcre,ipaddr,xml-light \
         ${addprefix -I ../src/, baselib http server extensions }
 
-all: doc wikidoc
+all: doc
 
 doc: api-html/index.html
 api-html/index.html: indexdoc $(addprefix ../src/,$(DOC) $(PLUGINS_DOC))
diff --git a/src/extensions/Makefile b/src/extensions/Makefile
index d854c44..a56ae0b 100644
--- a/src/extensions/Makefile
+++ b/src/extensions/Makefile
@@ -103,9 +103,7 @@ distclean: clean.local
 
 depend: ${PREDEP}
 	$(OCAMLDEP) ${LIBS} *.mli *.ml > .depend
-	${MAKE} -C ocsipersist-dbm depend
 	${MAKE} -C ocsipersist-sqlite depend
-	${MAKE} -C ocsipersist-pgsql depend
 
 FORCE:
 -include .depend