Description: change checking of lem  
Author: Bo YU <tsu.yubo@gmail.com>
Forwarded: not-needed
Last-Update: 2024-03-15
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/src/lem.mk
+++ b/src/lem.mk
@@ -17,8 +17,8 @@
 ifeq ($(shell ocamlfind query zarith),)
 $(error No zarith installed [anywhere ocamlfind can find it]; install it (opam install zarith || apt-get install libzarith-ocaml{,-dev} || yum install ocaml-zarith), or use make install_dependencies in lem/ocaml-lib, or hack $(THIS_MAKEFILE) to use the Lem vendored copy locally.)
 endif
-# assume the host system has lem
-ifeq ($(shell printenv | grep CAML 1>&2 && env OCAMLPATH=$(OCAMLPATH) ocamlfind query lem),)
+# check lem installed on Debian
+ifeq ($(shell ocamlfind query lem),)
 $(error No lem installed [anywhere ocamlfind can find it]; please install it (opam install lem || 'make install' from lem/ocaml-lib || 'make local-install' from lem/ocaml-lib and add lem/ocaml-lib/local to OCAMLPATH))
 endif
 endif