#
# Makefile for the library functions search_isos and search_iso
#
# Roberto Di Cosmo
#

CAML=caml V3.1

FILES=["Equal"; "LC_unify"; "TypeRewrite"]
TEXFILES=["Outcome_table"]
SOURCES= Equal.ml LC_unify.ml TypeRewrite.ml 
DOC= Decision-naive.tex Intro.tex MainDoc.tex Outcome_table.tex Rittri_example.tex defs.tex mlisos_table.tex

check:
	 sh -c 'for file in ${SOURCES}; 			\
		do						\
		if test -f ./$$file;				\
		then echo "Found source file " $$file;		\
		else echo "Missing source file " $$file;	\
		set ok = 0;					\
		fi;						\
		done'
	 sh -c 'for file in ${DOC};				\
		do						\
		if test -f ./DOC/$$file;			\
		then echo "Found source file " $$file;		\
		else echo "Missing source file " $$file;	\
		fi;						\
		done' 
	echo '--Please read the README file--'

install:
	echo 'security (do_list compilf) ${FILES};; ' | ${CAML}

all:    install doc

doc:
	echo 'security (do_list latex_caml_file) ${FILES};; ' | ${CAML}
	(cd DOC; echo 'security (do_list latex_file)   $(TEXFILES);; ' | ../${CAML})
	mv Equal.ml.tex LC_unify.ml.tex TypeRewrite.ml.tex DOC
	(cd DOC; latex MainDoc; latex MainDoc)

clean: 
	(cd DOC; rm -f *.ml.tex *.log *.aux)
	
