From 60a1d48a4afdb139caa9936895b3f1833d6a7926 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 25 Nov 2020 09:29:38 +0900
Subject: wip35

---
 Makefile.am | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 33ca8b7..e17dad2 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -41,10 +41,14 @@ godir=$(libdir)/guile/$(GUILE_EFFECTIVE_VERSION)/site-ccache
 
 bin_SCRIPTS =
 
-SOURCES =                \
-  vikalpa.scm
+SOURCES =                       \
+  vikalpa.scm                   \
+  vikalpa/prelude.scm           \
+  vikalpa/the-little-prover.scm
 
-TESTS =
+
+TESTS =                  \
+  tests/test-vikalpa.scm
 
 TEST_EXTENSIONS = .scm
 
-- 
cgit v1.2.3