caslog : source/top/top.ql source/top/utility.ql source/top/output.ql \
	source/top/error.ql\
	source/init/initsystem.ql source/init/builtin.ql \
	source/init/symtable.ql\
	source/init/dec.ql source/init/callgraph.ql source/init/scc.ql\
	source/dependency/dependency.ql source/dependency/build_adg.ql\
	source/dependency/build_ldg.ql source/dependency/adg.ql\
	source/dependency/gvars.ql\
	source/dependency/ldg.ql source/dependency/position.ql\
	source/determinacy/mutual_exclusion.ql\
	source/determinacy/determinacy.ql\
	source/size/size.ql source/size/term_size.ql source/size/ground_size.ql\
	source/size/implicit_size.ql source/size/term_diff.ql \
	source/size/normalize.ql\
	source/size/insert_size.ql source/size/clause.ql \
	source/size/size_diff_equ.ql\
	source/solution/relation.ql source/solution/solution.ql \
	source/solution/binding.ql\
	source/solution/comp_diff_equ.ql\
	source/time/time.ql\
	source/diff_equation/diff_equ.ql source/diff_equation/first_order.ql\
	source/diff_equation/second_order.ql \
	source/diff_equation/divide_conquer.ql\
	source/diff_equation/mutual_size.ql \
	source/diff_equation/implicit_size.ql\
	source/diff_equation/explicit_size.ql source/diff_equation/list_size.ql\
	source/diff_equation/product.ql source/diff_equation/higher_order.ql \
	source/diff_equation/diff_equ_utility.ql \
	source/algebraic/algebraic.ql source/algebraic/normal_form.ql\
	source/algebraic/general_form.ql source/algebraic/maxmin.ql\
	source/algebraic/sumprod.ql source/algebraic/math.o \
	source/csp/constraint.ql source/csp/csp.ql \
	source/csp/consistency.ql source/csp/clique.ql\
	source/csp/unfold.ql\
	source/color/disequality.ql source/color/gcp.ql source/color/cslpoly.ql
	prolog < caslog.install

source/top/top.ql : source/top/top.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/top/top.pl')." | prolog

source/top/utility.ql : source/top/utility.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/top/utility.pl')." | prolog

source/top/output.ql : source/top/output.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/top/output.pl')." | prolog

source/top/error.ql : source/top/error.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/top/error.pl')." | prolog

source/init/initsystem.ql : source/init/initsystem.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/init/initsystem.pl')." | prolog

source/init/builtin.ql : source/init/builtin.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/init/builtin.pl')." | prolog

source/init/symtable.ql : source/init/symtable.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/init/symtable.pl')." | prolog

source/init/dec.ql : source/init/dec.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/init/dec.pl')." | prolog

source/init/callgraph.ql : source/init/callgraph.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/init/callgraph.pl')." | prolog

source/init/scc.ql : source/init/scc.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/init/scc.pl')." | prolog

source/dependency/dependency.ql : source/dependency/dependency.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/dependency/dependency.pl')." | prolog

source/dependency/build_adg.ql : source/dependency/build_adg.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/dependency/build_adg.pl')." | prolog

source/dependency/build_ldg.ql : source/dependency/build_ldg.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/dependency/build_ldg.pl')." | prolog

source/dependency/adg.ql : source/dependency/adg.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/dependency/adg.pl')." | prolog

source/dependency/gvars.ql : source/dependency/gvars.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/dependency/gvars.pl')." | prolog

source/dependency/ldg.ql : source/dependency/ldg.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/dependency/ldg.pl')." | prolog

source/dependency/position.ql : source/dependency/position.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/dependency/position.pl')." | prolog

source/determinacy/mutual_exclusion.ql : source/determinacy/mutual_exclusion.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/determinacy/mutual_exclusion.pl')." | prolog

source/determinacy/determinacy.ql : source/determinacy/determinacy.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/determinacy/determinacy.pl')." | prolog

source/size/size.ql : source/size/size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/size.pl')." | prolog

source/size/term_size.ql : source/size/term_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/term_size.pl')." | prolog

source/size/ground_size.ql : source/size/ground_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/ground_size.pl')." | prolog

source/size/implicit_size.ql : source/size/implicit_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/implicit_size.pl')." | prolog

source/size/term_diff.ql : source/size/term_diff.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/term_diff.pl')." | prolog

source/size/normalize.ql : source/size/normalize.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/normalize.pl')." | prolog

source/size/insert_size.ql : source/size/insert_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/insert_size.pl')." | prolog

source/size/clause.ql : source/size/clause.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/clause.pl')." | prolog

source/size/size_diff_equ.ql : source/size/size_diff_equ.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/size/size_diff_equ.pl')." | prolog

source/solution/relation.ql : source/solution/relation.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/solution/relation.pl')." | prolog

source/solution/solution.ql : source/solution/solution.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/solution/solution.pl')." | prolog

source/solution/binding.ql : source/solution/binding.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/solution/binding.pl')." | prolog

source/solution/comp_diff_equ.ql : source/solution/comp_diff_equ.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/solution/comp_diff_equ.pl')." | prolog

source/time/time.ql : source/time/time.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/time/time.pl')." | prolog

source/diff_equation/diff_equ.ql : source/diff_equation/diff_equ.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/diff_equ.pl')." | prolog

source/diff_equation/first_order.ql : source/diff_equation/first_order.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/first_order.pl')." | prolog

source/diff_equation/second_order.ql : source/diff_equation/second_order.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/second_order.pl')." | prolog

source/diff_equation/higher_order.ql : source/diff_equation/higher_order.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/higher_order.pl')." | prolog

source/diff_equation/divide_conquer.ql : source/diff_equation/divide_conquer.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/divide_conquer.pl')." | prolog

source/diff_equation/mutual_size.ql : source/diff_equation/mutual_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/mutual_size.pl')." | prolog

source/diff_equation/implicit_size.ql : source/diff_equation/implicit_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/implicit_size.pl')." | prolog

source/diff_equation/explicit_size.ql : source/diff_equation/explicit_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/explicit_size.pl')." | prolog

source/diff_equation/list_size.ql : source/diff_equation/list_size.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/list_size.pl')." | prolog

source/diff_equation/product.ql : source/diff_equation/product.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/product.pl')." | prolog

source/diff_equation/diff_equ_utility.ql : source/diff_equation/diff_equ_utility.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/diff_equation/diff_equ_utility.pl')." | prolog

source/algebraic/algebraic.ql : source/algebraic/algebraic.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/algebraic/algebraic.pl')." | prolog

source/algebraic/normal_form.ql : source/algebraic/normal_form.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/algebraic/normal_form.pl')." | prolog

source/algebraic/general_form.ql : source/algebraic/general_form.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/algebraic/general_form.pl')." | prolog

source/algebraic/maxmin.ql : source/algebraic/maxmin.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/algebraic/maxmin.pl')." | prolog

source/algebraic/sumprod.ql : source/algebraic/sumprod.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/algebraic/sumprod.pl')." | prolog

source/algebraic/math.o : source/algebraic/math.c
	cc -o source/algebraic/math.o -c source/algebraic/math.c

source/csp/constraint.ql : source/csp/constraint.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/csp/constraint.pl')." | prolog

source/csp/csp.ql : source/csp/csp.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/csp/csp.pl')." | prolog

source/csp/consistency.ql : source/csp/consistency.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/csp/consistency.pl')." | prolog

source/csp/clique.ql : source/csp/clique.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/csp/clique.pl')." | prolog

source/csp/unfold.ql : source/csp/unfold.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/csp/unfold.pl')." | prolog

source/color/disequality.ql : source/color/disequality.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/color/disequality.pl')." | prolog

source/color/gcp.ql : source/color/gcp.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/color/gcp.pl')." | prolog

source/color/cslpoly.ql : source/color/cslpoly.pl
	echo "prolog_flag(compiling,_,fastcode). fcompile('source/color/cslpoly.pl')." | prolog

