guile-z3

Makefile.am

include build-aux/guile.am

moddir=$(prefix)/share/guile/site/$(GUILE_EFFECTIVE_VERSION)
godir=$(libdir)/guile/$(GUILE_EFFECTIVE_VERSION)/site-ccache

SOURCES =					\
	z3.scm

TESTS = 					\
	tests/basic.scm

TEST_EXTENSIONS = .scm

SCM_LOG_DRIVER =						\
  $(top_builddir)/env $(GUILE) --no-auto-compile -e main	\
      $(top_srcdir)/build-aux/test-driver.scm

EXTRA_DIST +=					\
  $(TESTS) build-aux/test-driver.scm		\
  COPYING.LESSER


1	include build-aux/guile.am
2
3	moddir=$(prefix)/share/guile/site/$(GUILE_EFFECTIVE_VERSION)
4	godir=$(libdir)/guile/$(GUILE_EFFECTIVE_VERSION)/site-ccache
5
6	SOURCES = \
7	z3.scm
8
9	TESTS = \
10	tests/basic.scm
11
12	TEST_EXTENSIONS = .scm
13
14	SCM_LOG_DRIVER = \
15	$(top_builddir)/env $(GUILE) --no-auto-compile -e main \
16	$(top_srcdir)/build-aux/test-driver.scm
17
18	EXTRA_DIST += \
19	$(TESTS) build-aux/test-driver.scm \
20	COPYING.LESSER
21