create a script to clone libraries and check them and call it from pi…

…peline

.github/workflows/main.yml

@@ -34,6 +34,11 @@ jobs:
           eval $(opam env)
           #why3 config detect
           make tests
+      - name: cheking libraries ...
+        run: |
+          eval $(opam env)
+          #why3 config detect
+          make checkLibraries
   build_vscode_extension:
     strategy:
       fail-fast: false

Makefile

@@ -22,6 +22,10 @@ doc: bnf
 bnf:
 	$(MAKE) -C doc -f Makefile.bnf
 
+.PHONY: checkLibraries
+checkLibraries: lambdapi
+	@dune exec --only-packages lambdapi -- tests/checkBibs.sh https://github.com/Deducteam/lambdapi-logics.git lambdapi-logics
+
 #### Unit tests and sanity check #############################################
 
 .PHONY: tests

tests/checkBibs.sh

@@ -0,0 +1,22 @@
+#!/bin/bash
+
+lambdapi='dune exec -- lambdapi check'
+TIMEFORMAT="%Es"
+out=/tmp/lambdapi.output
+
+checkoutLib() {
+    git clone $1 $2
+}
+
+checkLib() {
+    for f in $(find $1 -name *.lp)
+    do
+        echo lambdapi check $options $f ...
+        $lambdapi "$f" > $out 2>&1
+        if test $? -ne 0; then cat $out; exit 1; fi;
+    done
+}
+
+checkoutLib $1 $2
+options='-w'
+checkLib $2