1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
|
