check flags:
-
building check-recursive
-
Making check in doc
-
make[1]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/doc'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/doc'
-
Making check in src
-
make[1]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/src'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/src'
-
Making check in restorebrackets
-
make[1]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/restorebrackets'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/restorebrackets/src'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/restorebrackets/src'
-
make[2]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/restorebrackets'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/restorebrackets'
-
make[1]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/restorebrackets'
-
Making check in test
-
make[1]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test'
-
building check-recursive
-
Making check in erroneous
-
make[2]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test/erroneous'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test/erroneous'
-
Making check in tables
-
make[2]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test/tables'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test/tables'
-
Making check in terms
-
make[2]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test/terms'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test/terms'
-
make[2]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test'
-
building check-am
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test'
-
building regressionTests
-
sed "s@__ATERM__@/...-aterm-2.6pre24721-2ni86m6s@g;\� s@__PT_SUPPORT__@/...-pt-support-2.4pre26591-qd8pfhbq@g;\� s@__ERROR_SUPPORT__@/...-error-support-1.6pre26366-bw29x9fd@g;\� s@__SGLR_BINARY__@../src/sglr@g;\� s@__SGLR__@..@g;\� s@__SRCDIR__@.@g" < regressionTests.sh.src > regressionTests && \� chmod +x regressionTests
-
building check-TESTS
-
./regressionTests: line 192: termsCommandLines: No such file or directory
-
./regressionTests: line 204: erroneousCommandLines: No such file or directory
-
-
PASS: regressionTests
-
==================
-
All 1 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test'
-
make[2]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test'
-
make[1]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3/test'
-
make[1]: Entering directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3'
-
make[1]: Nothing to be done for `check-am'.
-
make[1]: Leaving directory `/tmp/nix-build-gx3rs3aha72wbgwvww6hvd6437zykj5s-sglr.drv-0/sglr-4.5.3'