default:
  image: tojoqk/acl2:8.3

test:
  stage: test
  script:
    - >
      for source in $(find -type f -name '*.lisp'); do
        echo "--- verify $source ---"
        {
          echo ':q'
          echo '(setf sb-ext:*invoke-debugger-hook* (lambda (c h) (declare (ignore c h)) (sb-ext:quit)))'
          echo '(lp)'
          cat "$source"
        } | acl2 | awk '{ print } ; $0 == "******** FAILED ********" || $0 == "ACL2 !>ACL2 !>Bye." { exit 1 }'
      done