.gitlab-ci.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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 ********" { exit 1 }'
      done