diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 22:49:47 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 22:49:47 +0900 |
commit | 3040e3a9e8c910a17e7d1fc0d3367cee2fcca3d2 (patch) | |
tree | e2694105252377dbcded36b80784249d4f06fb4a /cfg/jobs/acl2-verify.sh | |
parent | a3519846778642ae7c275f09b736123744662c92 (diff) |
Remvoe cfg directory.
Diffstat (limited to 'cfg/jobs/acl2-verify.sh')
-rw-r--r-- | cfg/jobs/acl2-verify.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/cfg/jobs/acl2-verify.sh b/cfg/jobs/acl2-verify.sh deleted file mode 100644 index ea65156..0000000 --- a/cfg/jobs/acl2-verify.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -echo "--- acl2 verify: $path ---" -{ - 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 "$path" -} |\ - guix environment --pure acl2 -- acl2 |\ - awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }' |