From 26bc86dd52e1a3f14cb46029f98977a0be11eb25 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Thu, 30 Nov 2023 23:44:46 +0900
Subject: [PATCH] Makefile: remove LIB_ROOT

---
 Makefile | 17 ++---------------
 1 file changed, 2 insertions(+), 15 deletions(-)

diff --git a/Makefile b/Makefile
index 17adac1a3..eeefe38ff 100644
--- a/Makefile
+++ b/Makefile
@@ -1,16 +1,6 @@
 VIMDIR = $(HOME)/.vim
 EMACS  = $(shell which emacs)
 
-LIB_ROOT := $(shell\
-  if test -n "$(LAMBDAPI_LIB_ROOT)";\
-  then echo $(LAMBDAPI_LIB_ROOT);\
-  else\
-    if test -n "$(OPAM_SWITCH_PREFIX)";\
-    then echo $(OPAM_SWITCH_PREFIX);\
-    else echo /usr/local;\
-    fi;\
-  fi)/lib/lambdapi/lib_root
-
 #### Compilation (binary, library and documentation) #########################
 
 .PHONY: default
@@ -35,7 +25,7 @@ bnf:
 #### Unit tests and sanity check #############################################
 
 .PHONY: tests
-tests: lambdapi $(LIB_ROOT)
+tests: lambdapi
 	@dune runtest
 	@dune exec --only-packages lambdapi -- tests/runtests.sh
 	@dune exec --only-packages lambdapi -- tests/dtrees.sh
@@ -123,11 +113,8 @@ fullclean: distclean
 
 #### Installation and release targets ########################################
 
-$(LIB_ROOT):
-	mkdir -p $@
-
 .PHONY: install
-install: install_lambdapi $(LIB_ROOT)
+install: install_lambdapi
 
 .PHONY: uninstall
 uninstall: uninstall_lambdapi