From e57bf57ed343a957568440ab4258b6c071962638 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 30 Mar 2021 03:39:27 +0900
Subject: Add tests.

* tests/test-compile-acl2.scm: New file.
* Makefile.am (TESTS): Add `tests/test-compile-acl2.scm` file.
---
 Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 3d99308..90f7bcd 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -47,7 +47,8 @@ SOURCES =                            \
   language/acl2/parse.scm            \
   language/acl2/compile-tree-il.scm
 
-TESTS =
+TESTS =                        \
+  tests/test-compile-acl2.scm
 
 TEST_EXTENSIONS = .scm
 
-- 
cgit v1.2.3