• check flags:
• +- building check-recursive
  • Making check in doc
  • +- make[1]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/doc'
    • make[1]: Nothing to be done for `check'.
    • make[1]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/doc'
  • Making check in src
  • +- make[1]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/src'
    • make[1]: Nothing to be done for `check'.
    • make[1]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/src'
  • Making check in restorebrackets
  • +- make[1]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/restorebrackets'
    • +- building check-recursive
      • Making check in src
      • +- make[2]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/restorebrackets/src'
        • make[2]: Nothing to be done for `check'.
        • make[2]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/restorebrackets/src'
      • +- make[2]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/restorebrackets'
        • make[2]: Nothing to be done for `check-am'.
        • make[2]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/restorebrackets'
    • make[1]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/restorebrackets'
  • Making check in test
  • +- make[1]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test'
    • +- building check-recursive
      • Making check in erroneous
      • +- make[2]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test/erroneous'
        • make[2]: Nothing to be done for `check'.
        • make[2]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test/erroneous'
      • Making check in tables
      • +- make[2]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test/tables'
        • make[2]: Nothing to be done for `check'.
        • make[2]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test/tables'
      • Making check in terms
      • +- make[2]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test/terms'
        • make[2]: Nothing to be done for `check'.
        • make[2]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test/terms'
      • +- make[2]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test'
        • +- building check-am
          • make check-TESTS
          • +- make[3]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test'
            • +- building regressionTests
              • sed "s@__ATERM__@/nix/store/2wav9n2sgcsap1wmfkijkqcyqd2sqcbs-aterm-2.6pre24721-20bg2h9q@g/...-aterm-2.6pre24721-20bg2h9q@g;\� s@__PT_SUPPORT__@/nix/store/7s0cbq167l50nzycjnpljwzbn908d70x-pt-support-2.4pre26591-p4sfxiar@g/...-pt-support-2.4pre26591-p4sfxiar@g;\� s@__ERROR_SUPPORT__@/nix/store/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh@g/...-error-support-1.6pre26366-ksr9jhnh@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-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test'
        • make[2]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test'
    • make[1]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3/test'
  • +- make[1]: Entering directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3'
    • make[1]: Nothing to be done for `check-am'.
    • make[1]: Leaving directory `/tmp/nix-build-5avmgvw5xmppm1px3pykynd61hjas86g-sglr.drv-0/sglr-4.5.3'