1 files changed, 65 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
new file mode 100644
index 0000000..9d64bd3
--- /dev/null
+++ b/Makefile.am
@@ -0,0 +1,65 @@
+## Guile-ACL2 --- A Compiler from ACL2 to Guile
+## Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
+##
+## This file is part of Guile-ACL2.
+##
+## Guile-ACL2 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.
+##
+## Guile-ACL2 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 Guile-ACL2.  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 =
+
+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.md                 \
+  bootstrap                 \
+  pre-inst-env.in           \
+  build-aux/test-driver.scm \
+  guix.scm                  \
+  $(TESTS)