Makefile.am 5.3 KB
Newer Older
1 2 3 4 5 6 7 8 9
include guile.am

SUBDIRS = logic/guile-log/src/

ACLOCAL_AMFLAGS=-Im4

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

10
PSSOURCES = \
11
	logic/guile-log/code-load.scm \
12 13
	ice-9/match-phd-lookup.scm \
	ice-9/match-phd.scm \
14
	ice-9/set/vhashx.scm \
15
	ice-9/set/weak-vhashx.scm \
16
	ice-9/set/set.scm \
17
	ice-9/set/complement.scm \
18
	ice-9/vset.scm \
19
	logic/guile-log/scmspace.scm \
20
	logic/guile-log/fstream.scm \
21 22 23 24 25
	logic/guile-log/guile-log-pre.scm \
	logic/guile-log/ck.scm \
	logic/guile-log/vlist.scm \
	logic/guile-log/indexer.scm \
	logic/guile-log/umatch.scm \
Stefan Israelsson Tampe's avatar
Stefan Israelsson Tampe committed
26
	logic/guile-log/attributed.scm \
27
	logic/guile-log/macros.scm \
28
	logic/guile-log/guile-prolog/copy-term.scm \
29
	logic/guile-log/match.scm \
30
	logic/guile-log/undovar.scm \
31
	logic/guile-log/interleave.scm \
32
	logic/guile-log/run.scm \
33 34 35
	logic/guile-log/tools.scm \
	logic/guile-log/prompts.scm \
	logic/guile-log.scm \
36
	logic/guile-log/vset.scm \
37
	logic/guile-log/vlist-macros.scm \
38 39 40
	logic/guile-log/collects.scm \
	logic/guile-log/canonacalize.scm \
	logic/guile-log/kanren.scm \
41
	logic/guile-log/minikanren.scm \
42 43 44 45 46 47
	logic/guile-log/hash.scm \
	logic/guile-log/parsing/scanner.scm \
	logic/guile-log/parser.scm \
	logic/guile-log/parsing/operator-parser.scm \
	logic/guile-log/parsing/scheme.scm \
	logic/guile-log/parsing/sch-match.scm \
48
	logic/guile-log/grep.scm \
49
	logic/guile-log/dynlist.scm \
50
	logic/guile-log/inheritance.scm \
51
	logic/guile-log/type.scm \
52 53 54
	logic/guile-log/postpone.scm \
	logic/guile-log/util.scm \
	logic/guile-log/functional-database.scm \
55
	logic/guile-log/hash-dynamic.scm \
56
	logic/guile-log/dynamic-features.scm \
57
	logic/guile-log/iinterleave.scm \
58
	logic/guile-log/weak-vhash.scm \
Stefan Israelsson Tampe's avatar
Stefan Israelsson Tampe committed
59
	logic/guile-log/prolog/varstat.scm \
60
	logic/guile-log/prolog/pre.scm \
61
	logic/guile-log/prolog/variant.scm \
62
	logic/guile-log/prolog/operators.scm \
63 64 65
	logic/guile-log/prolog/error.scm \
	logic/guile-log/prolog/symbols.scm \
	logic/guile-log/prolog/names.scm \
66 67 68 69
	logic/guile-log/prolog/closed.scm \
	logic/guile-log/prolog/namespace.scm \
	logic/guile-log/guile-prolog/closure.scm \
	logic/guile-log/memoize.scm \
70 71 72
	logic/guile-log/prolog/parser.scm \
	logic/guile-log/prolog/run.scm \
	logic/guile-log/prolog/goal.scm \
73
	logic/guile-log/prolog/var.scm \
74
	logic/guile-log/prolog/goal-functors.scm \
75
	logic/guile-log/prolog/modules.scm \
76 77 78 79 80
	logic/guile-log/prolog/compile.scm \
	logic/guile-log/prolog/dynamic.scm \
	logic/guile-log/prolog/directives.scm \
	logic/guile-log/prolog/order.scm \
	logic/guile-log/prolog/goal-transformers.scm \
81
	logic/guile-log/prolog/base.scm \
82
	logic/guile-log/guile-prolog/attribute.scm \
83 84 85 86 87 88 89
	logic/guile-log/prolog/io.scm \
	logic/guile-log/prolog/char-conversion.scm \
	logic/guile-log/prolog/load.scm \
	logic/guile-log/prolog/char.scm \
	logic/guile-log/prolog/functions.scm \
	logic/guile-log/prolog/util.scm \
	logic/guile-log/prolog/conversion.scm \
90
	logic/guile-log/prolog/swi.scm \
91
	logic/guile-log/prolog/global.scm \
92
	logic/guile-log/iso-prolog.scm \
93
	logic/guile-log/prolog/goal-expand.scm \
94
	logic/guile-log/guile-prolog/set.scm \
Stefan Israelsson Tampe's avatar
Stefan Israelsson Tampe committed
95
	logic/guile-log/guile-prolog/delay.scm \
96
	logic/guile-log/guile-prolog/foldarg.scm \
97 98 99 100 101 102 103 104 105 106
	logic/guile-log/guile-prolog/ops.scm \
	logic/guile-log/guile-prolog/continuations.scm \
	logic/guile-log/guile-prolog/hash.scm \
	logic/guile-log/guile-prolog/dynamic-features.scm \
	logic/guile-log/guile-prolog/interleave.scm \
	logic/guile-log/guile-prolog/zip.scm \
	logic/guile-log/guile-prolog/readline.scm \
	logic/guile-log/guile-prolog/fluid.scm \
	logic/guile-log/guile-prolog/memoize.scm \
	logic/guile-log/guile-prolog/canon.scm \
107
	logic/guile-log/guile-prolog/project.scm \
108 109 110 111 112 113 114
	logic/guile-log/guile-prolog/interpreter.scm \
	logic/guile-log/guile-prolog/state.scm \
	logic/guile-log/guile-prolog/postpone.scm \
	logic/guile-log/guile-prolog/gc-call.scm \
	logic/guile-log/guile-prolog/coroutine.scm \
	logic/guile-log/guile-prolog/attributator.scm \
	logic/guile-log/examples/kanren/type-inference.scm \
115
	prolog-user.scm \
116
	language/prolog/install.scm \
117
	language/prolog/spec.scm \
118
	language/prolog/modules/user.scm \
119
	language/prolog/modules/sandbox.pl \
120 121
	language/prolog/modules/boot/expand.pl \
	language/prolog/modules/boot/dcg.pl \
Stefan Israelsson Tampe's avatar
Stefan Israelsson Tampe committed
122
	language/prolog/modules/boot/if.pl \
123
	language/prolog/modules/swi/term_macro.pl \
124
	language/prolog/modules/library/error.pl \
125
	language/prolog/modules/library/vhash.scm \
126 127 128 129 130 131 132 133 134 135
	language/prolog/modules/library/pairs.pl \
	language/prolog/modules/library/lists.pl \
	language/prolog/modules/library/dcg_basics.pl \
	language/prolog/modules/library/option.pl \
	language/prolog/modules/library/optparse.pl \
	language/prolog/modules/library/sort.pl \
	language/prolog/modules/library/apply.pl \
	language/prolog/modules/library/heaps.pl \
	language/prolog/modules/library/assoc.pl \
	language/prolog/modules/library/gensym.pl \
136
	language/prolog/modules/library/occurs.pl \
137 138
	language/prolog/modules/library/ordsets.pl \
	language/prolog/modules/library/oset.pl \
139 140 141
	language/prolog/modules/library/rbtrees.p \
	language/prolog/modules/library/forward_chaining.pl \
	language/prolog/modules/ex/att.pl \
142 143 144
	language/prolog/modules/examples/cluster.pl
#	language/prolog/modules/library/clpb.pl
#	language/prolog/modules/library/clpfd.pl 
145
#	language/prolog/modules/library/apply_macros.pl
146

147
AM_MAKEINFOFLAGS=--force
148 149
AM_MAKEINFOHTMLFLAGS=--force
info_TEXINFOS = doc/guile-log.texi
150
EXTRA_DIST += env.in COPYING