From 97367f505cc1bcff48b2b4be80877947cd21574f Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 2 Feb 2021 23:19:04 +0900
Subject: Add CI settings.

---
 .gitlab-ci.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..286b941
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,14 @@
+default:
+  image: tojoqk/acl2:8.3
+
+test:
+  stage: test
+  script:
+    - >
+      for source in $(find -type f -name '*.lisp'); do
+        echo "--- verify $source ---"
+        acl2 < $source | tee result
+        if [ -n "$(grep -E '^[*]{8} FAILED [*]{8}' result)" ]; then
+          exit 1
+        fi
+      done
-- 
cgit v1.2.3