Removing $(_ocaml_share_path)/ocamlvars.mk was too hasty, it defines OCAML_DLL_DIR
authorXimin Luo <infinity0@debian.org>
Fri, 21 Jul 2017 15:37:58 +0000 (17:37 +0200)
committerXimin Luo <infinity0@debian.org>
Fri, 21 Jul 2017 15:37:58 +0000 (17:37 +0200)
commitc6136f5c6f88eda37fd8645a7f7e4c2c8e8f32f6
tree39005b6cf77f5e9e9ae35d787c936f22e07ab506
parent3544acad2865210fbd02c7a515b5e45267f10a41
Removing $(_ocaml_share_path)/ocamlvars.mk was too hasty, it defines OCAML_DLL_DIR
debian/ocamlinit.mk