some cleaning

Alidra · May 2, 2024 · 653c64e · 653c64e
1 parent 12f2cc8
commit 653c64e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git 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
@@ -22,15 +22,15 @@ 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
 
 #### 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