From 653c64eff6bd492ed2a6ae049bf63433ec5a3b1f Mon Sep 17 00:00:00 2001
From: Abdelghani ALIDRA <alidrandco@yahoo.fr>
Date: Thu, 2 May 2024 13:03:29 +0200
Subject: [PATCH] some cleaning

---
 .github/workflows/main.yml | 2 --
 Makefile                   | 4 ++--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7efeeee5a..b96ddee53 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -36,8 +36,6 @@ jobs:
           make tests
       - name: cheking libraries ...
         run: |
-          eval $(opam env)
-          #why3 config detect
           make checkLibraries
   build_vscode_extension:
     strategy:
diff --git a/Makefile b/Makefile
index bf8deea3a..cab80fcbc 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ doc: bnf
 bnf:
 	$(MAKE) -C doc -f Makefile.bnf
 
-.PHONY: checkLibraries
+.PHONY: test_libs
 test_libs: lambdapi
 	@dune exec --only-packages lambdapi -- tests/test_libs.sh https://github.com/Deducteam/lambdapi-logics.git lambdapi-logics
 	@dune exec --only-packages lambdapi -- tests/test_libs.sh https://github.com/Deducteam/lambdapi-stdlib.git lambdapi-stdlib
@@ -30,7 +30,7 @@ test_libs: lambdapi
 #### Unit tests and sanity check #############################################
 
 .PHONY: tests
-tests: lambdapi test_libs
+tests: lambdapi
 	@dune runtest
 	@dune exec --only-packages lambdapi -- tests/runtests.sh
 	@dune exec --only-packages lambdapi -- tests/dtrees.sh