diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-07 15:06:03 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-16 23:33:16 +0900 |
commit | 6f7d68bed5e0097257f1b36289f8af3b7efaa4ae (patch) | |
tree | c228a3581bd531fe7fa95de35ff10d4508e44d78 /Makefile.am | |
parent | 30aa68089dc2f353a6c17e1ea83c61dd2b06aede (diff) |
wipdevelop
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/Makefile.am b/Makefile.am index 921ba1e..e17dad2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,20 +1,20 @@ -## Rabbit Prover --- Prove S-expression +## Vikalpa --- Proof Assistant ## Copyright © 2020 Masaya Tojo <masaya@tojo.tokyo> ## -## This file is part of Rabbit Prover. +## This file is part of Vikalpa. ## -## Rabbit Prover is free software; you can redistribute it and/or modify it +## Vikalpa is free software; you can redistribute it and/or modify it ## under the terms of the GNU General Public License as published by ## the Free Software Foundation; either version 3 of the License, or ## (at your option) any later version. ## -## Rabbit Prover is distributed in the hope that it will be useful, but +## Vikalpa is distributed in the hope that it will be useful, but ## WITHOUT ANY WARRANTY; without even the implied warranty of ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU ## General Public License for more details. ## ## You should have received a copy of the GNU General Public License -## along with Rabbit Prover. If not, see <http://www.gnu.org/licenses/>. +## along with Vikalpa. If not, see <http://www.gnu.org/licenses/>. GOBJECTS = $(SOURCES:%.scm=%.go) @@ -41,10 +41,14 @@ godir=$(libdir)/guile/$(GUILE_EFFECTIVE_VERSION)/site-ccache bin_SCRIPTS = -SOURCES = \ - rabbit-prover.scm +SOURCES = \ + vikalpa.scm \ + vikalpa/prelude.scm \ + vikalpa/the-little-prover.scm -TESTS = + +TESTS = \ + tests/test-vikalpa.scm TEST_EXTENSIONS = .scm |