blob: 7de320f82840be895f81dfcfcf8b774dadef4810 (
plain)
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)) (format t "~%~a~%" "******** FAILED ********") (sb-ext:quit)))'
echo '(lp)'
cat "$source"
} | acl2 | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }'
done
|
