LIBRARIES =	lists_lib.pl diff_lists_lib.pl special_lists_lib.pl \
		integers_lib.pl ui_lib.pl meta_lib.pl

all:	libs

clean:
	/bin/rm -f *.pl

libs:	$(LIBRARIES)

lists_lib.pl:	lists.pl.ol
	echo " \
	::(project, (create(lists_lib,['lists.pl']), compile))." \
	| $(OLBIN)

diff_lists_lib.pl:	diff_lists.pl.ol lists_lib.pl
	echo " \
	::(project, (create(diff_lists_lib,['diff_lists.pl']), \
	add_library('$(OL)/lib/lists_lib'), compile))." \
	| $(OLBIN)

special_lists_lib.pl:	special_lists.pl.ol lists_lib.pl
	echo " \
	::(project, (create(special_lists_lib,['special_lists.pl']), \
	add_library('$(OL)/lib/lists_lib'), compile))." \
	| $(OLBIN)

integers_lib.pl:	integers.pl.ol
	echo " \
	::(project, (create(integers_lib,['integers.pl']),compile))."\
	| $(OLBIN)

ui_lib.pl:	ui_objects.pl.ol
	echo " \
	use_module(library(gmlib)), \
	::(project, (create(ui_lib,['ui_objects.pl']), compile))." \
	| $(OLBIN)

meta_lib.pl:	meta_objects.pl.ol
	echo " \
	::(project, (create(meta_lib,['meta_objects.pl']),compile))."\
	| $(OLBIN)
