Makefile.am 6.83 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
	logic/guile-log/primitive.scm \
22
	logic/guile-log/persistance.scm \
23 24 25 26 27
	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 committed
28
	logic/guile-log/attributed.scm \
29
	logic/guile-log/macros.scm \
30
	logic/guile-log/guile-prolog/copy-term.scm \
31
	logic/guile-log/match.scm \
32
	logic/guile-log/undovar.scm \
33
	logic/guile-log/interleave.scm \
34
        logic/guile-log/soft-cut.scm \
35
	logic/guile-log/run.scm \
36 37 38
	logic/guile-log/tools.scm \
	logic/guile-log/prompts.scm \
	logic/guile-log.scm \
39
	logic/guile-log/paralell.scm \
40
	logic/guile-log/vset.scm \
41
	logic/guile-log/vlist-macros.scm \
42 43 44
	logic/guile-log/collects.scm \
	logic/guile-log/canonacalize.scm \
	logic/guile-log/kanren.scm \
45
	logic/guile-log/minikanren.scm \
46 47 48 49 50 51
	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 \
52
	logic/guile-log/grep.scm \
53
	logic/guile-log/dynlist.scm \
54
	logic/guile-log/inheritance.scm \
55
	logic/guile-log/type.scm \
56 57 58
	logic/guile-log/postpone.scm \
	logic/guile-log/util.scm \
	logic/guile-log/functional-database.scm \
59
	logic/guile-log/hash-dynamic.scm \
60
	logic/guile-log/dynamic-features.scm \
61
	logic/guile-log/iinterleave.scm \
Stefan Israelsson Tampe committed
62
	logic/guile-log/fiber.scm \
63
	logic/guile-log/weak-vhash.scm \
Stefan Israelsson Tampe committed
64
	logic/guile-log/prolog/varstat.scm \
65
	logic/guile-log/prolog/pre.scm \
66
	logic/guile-log/prolog/variant.scm \
67
	logic/guile-log/prolog/operators.scm \
68 69 70
	logic/guile-log/prolog/error.scm \
	logic/guile-log/prolog/symbols.scm \
	logic/guile-log/prolog/names.scm \
71 72 73 74
	logic/guile-log/prolog/closed.scm \
	logic/guile-log/prolog/namespace.scm \
	logic/guile-log/guile-prolog/closure.scm \
	logic/guile-log/memoize.scm \
75
	logic/guile-log/prolog/persist.scm \
76 77 78
	logic/guile-log/prolog/parser.scm \
	logic/guile-log/prolog/run.scm \
	logic/guile-log/prolog/goal.scm \
79
	logic/guile-log/prolog/var.scm \
80
	logic/guile-log/prolog/goal-functors.scm \
81
	logic/guile-log/prolog/modules.scm \
82
	logic/guile-log/prolog/compile.scm \
83
	logic/guile-log/prolog/compile2.scm \
84
	logic/guile-log/prolog/analyze.scm \
85 86 87 88
	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 \
89
	logic/guile-log/prolog/base.scm \
90
	logic/guile-log/guile-prolog/attribute.scm \
91 92 93 94 95 96 97
	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 \
98
	logic/guile-log/prolog/swi.scm \
99
	logic/guile-log/prolog/global.scm \
100
	logic/guile-log/prolog/fold.scm \
101
	logic/guile-log/iso-prolog.scm \
102
	logic/guile-log/prolog/goal-expand.scm \
103
	logic/guile-log/guile-prolog/set.scm \
Stefan Israelsson Tampe committed
104
	logic/guile-log/guile-prolog/delay.scm \
105
	logic/guile-log/guile-prolog/foldarg.scm \
106 107 108 109 110 111 112 113 114 115
	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 \
116
	logic/guile-log/guile-prolog/project.scm \
117
	logic/guile-log/guile-prolog/interpreter.scm \
Stefan Israelsson Tampe committed
118
	logic/guile-log/guile-prolog/engine.scm \
Stefan Israelsson Tampe committed
119
	logic/guile-log/guile-prolog/fiber.scm \
120 121 122 123 124
	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 \
125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147
	logic/guile-log/guile-prolog/macros.scm
#	logic/guile-log/guile-prolog/vm/vm-pre.scm
#	logic/guile-log/guile-prolog/vm/vm-var.scm \
#	logic/guile-log/guile-prolog/vm/vm-scm.scm \
#	logic/guile-log/guile-prolog/vm/vm-args.scm \
#	logic/guile-log/guile-prolog/vm/vm-handle.scm \
#	logic/guile-log/guile-prolog/vm/vm-disj.scm \
#	logic/guile-log/guile-prolog/vm/vm-conj.scm \
#	logic/guile-log/guile-prolog/vm/vm-imprint.scm \
#	logic/guile-log/guile-prolog/vm/vm-unify.scm \
#	logic/guile-log/guile-prolog/vm/vm-goal.scm \
#	logic/guile-log/guile-prolog/vm-compiler.scm \
#	logic/guile-log/guile-prolog/paralell.scm \
#	logic/guile-log/examples/kanren/type-inference.scm \
#	logic/guile-log/imatch.scm \
#	language/prolog/install.scm \
#	language/prolog/spec.scm \
#	language/prolog/modules/user.scm \
#	language/prolog/modules/sandbox.pl \
#	language/prolog/modules/boot/expand.pl \
#	language/prolog/modules/boot/dcg.pl \
#	language/prolog/modules/boot/if.pl \
#	prolog-user.scm 
Stefan Israelsson Tampe committed
148 149 150 151 152 153 154 155 156 157
#	logic/guile-log/guile-prolog/vm/vm-var2.scm \
#	logic/guile-log/guile-prolog/vm/vm-scm2.scm \
#	logic/guile-log/guile-prolog/vm/vm-args2.scm \
#	logic/guile-log/guile-prolog/vm/vm-handle2.scm \
#	logic/guile-log/guile-prolog/vm/vm-disj2.scm \
#	logic/guile-log/guile-prolog/vm/vm-conj2.scm \
#	logic/guile-log/guile-prolog/vm/vm-imprint2.scm \
#	logic/guile-log/guile-prolog/vm/vm-unify2.scm \
#	logic/guile-log/guile-prolog/vm/vm-goal2.scm \
#	logic/guile-log/guile-prolog/vm-compiler2.scm \
158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177
#	language/prolog/modules/swi/term_macro.pl \
#	language/prolog/modules/library/error.pl \
#	language/prolog/modules/library/vhash.scm \
#	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 \
#	language/prolog/modules/library/occurs.pl \
#	language/prolog/modules/library/ordsets.pl \
#	language/prolog/modules/library/oset.pl \
#	language/prolog/modules/library/rbtrees.p \
#	language/prolog/modules/library/forward_chaining.pl \
#	language/prolog/modules/ex/att.pl \
#	language/prolog/modules/examples/cluster.pl
178 179
#	language/prolog/modules/library/clpb.pl
#	language/prolog/modules/library/clpfd.pl 
180
#	language/prolog/modules/library/apply_macros.pl
181

182
AM_MAKEINFOFLAGS=--force
183 184
AM_MAKEINFOHTMLFLAGS=--force
info_TEXINFOS = doc/guile-log.texi
185
EXTRA_DIST += env.in COPYING