From c6136f5c6f88eda37fd8645a7f7e4c2c8e8f32f6 Mon Sep 17 00:00:00 2001 From: Ximin Luo Date: Fri, 21 Jul 2017 17:37:58 +0200 Subject: [PATCH] Removing $(_ocaml_share_path)/ocamlvars.mk was too hasty, it defines OCAML_DLL_DIR --- debian/ocamlinit.mk | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debian/ocamlinit.mk b/debian/ocamlinit.mk index 4ce7b66e..10b216ae 100644 --- a/debian/ocamlinit.mk +++ b/debian/ocamlinit.mk @@ -19,10 +19,13 @@ # 02110-1301 USA. # +_ocaml_share_path ?= /usr/share/ocaml + ifndef _ocaml_share_ocamlinit _ocaml_share_ocamlinit = 1 include $(CURDIR)/debian/ocamlvars.mk +include $(_ocaml_share_path)/ocamlvars.mk -include $(CURDIR)/config/Makefile # list of .in files contained (non-recursively) in debian/ that requires -- 2.30.2