diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-30 03:39:27 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-30 03:54:02 +0900 |
| commit | e57bf57ed343a957568440ab4258b6c071962638 (patch) | |
| tree | f586fc6a24f39b4accba48f50a8b5b6ba99dc9de /Makefile.am | |
| parent | e7f9256c096ca8975738ceeb3dad0b841ca434e3 (diff) | |
* tests/test-compile-acl2.scm: New file.
* Makefile.am (TESTS): Add `tests/test-compile-acl2.scm` file.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
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 |