From 30aa68089dc2f353a6c17e1ea83c61dd2b06aede Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 22 Oct 2020 14:53:39 +0000
Subject: Initial commit.

* COPYING: New file.
* Makefile.am: New file.
* README.org: New file.
* README.md: Delete file.
* bootstrap: New file.
* build-aux/test-driver.scm: New file.
* configure.ac: New file.
* guix.scm: New file.
* pre-inst-env.in: New file.
* rabbit-prover.scm: New file.
* toot.scm: New file.
---
 Makefile.am | 66 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 66 insertions(+)
 create mode 100644 Makefile.am

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
new file mode 100644
index 0000000..921ba1e
--- /dev/null
+++ b/Makefile.am
@@ -0,0 +1,66 @@
+## Rabbit Prover --- Prove S-expression
+## Copyright © 2020 Masaya Tojo <masaya@tojo.tokyo>
+##
+## This file is part of Rabbit Prover.
+##
+## Rabbit Prover 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
+## 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/>.
+
+GOBJECTS = $(SOURCES:%.scm=%.go)
+
+nobase_mod_DATA = $(SOURCES) $(NOCOMP_SOURCES)
+nobase_go_DATA = $(GOBJECTS)
+
+# Make sure source files are installed first, so that the mtime of
+# installed compiled files is greater than that of installed source
+# files.  See
+# <http://lists.gnu.org/archive/html/guile-devel/2010-07/msg00125.html>
+# for details.
+guile_install_go_files = install-nobase_goDATA
+$(guile_install_go_files): install-nobase_modDATA
+
+CLEANFILES = $(GOBJECTS)
+GUILE_WARNINGS = -Wunbound-variable -Warity-mismatch -Wformat
+EXTRA_DIST = $(SOURCES) $(NOCOMP_SOURCES)
+SUFFIXES = .scm .go
+.scm.go:
+	$(AM_V_GEN)$(top_builddir)/pre-inst-env $(GUILD) compile $(GUILE_WARNINGS) -o "$@" "$<"
+
+moddir=$(prefix)/share/guile/site/$(GUILE_EFFECTIVE_VERSION)
+godir=$(libdir)/guile/$(GUILE_EFFECTIVE_VERSION)/site-ccache
+
+bin_SCRIPTS =
+
+SOURCES =                \
+  rabbit-prover.scm
+
+TESTS =
+
+TEST_EXTENSIONS = .scm
+
+SCM_LOG_DRIVER =                            \
+  $(top_builddir)/pre-inst-env              \
+  $(GUILE) --no-auto-compile -e main        \
+    $(top_srcdir)/build-aux/test-driver.scm
+
+AM_SCM_LOG_DRIVER_FLAGS = --brief=yes
+
+AM_SCM_LOG_FLAGS = --no-auto-compile -L "$(top_srcdir)"
+
+EXTRA_DIST +=               \
+  README.org                \
+  bootstrap                 \
+  pre-inst-env.in           \
+  build-aux/test-driver.scm \
+  guix.scm                  \
+  $(TESTS)
-- 
cgit v1.2.3