#	Copyright (c) 2002 by Laboratoire Spécification et Vérification (LSV),
#	CNRS UMR 8643 & ENS Cachan.
#	Written by Jean Goubault-Larrecq.  Not derived from licensed software.
#
#	Permission is granted to anyone to use this software for any
#	purpose on any computer system, and to redistribute it freely,
#	subject to the following restrictions:
#
#	1. Neither the author nor its employer is responsible for the consequences of use of
#		this software, no matter how awful, even if they arise
#		from defects in it.
#
#	2. The origin of this software must not be misrepresented, either
#		by explicit claim or by omission.
#
#	3. Altered versions must be plainly marked as such, and must not
#		be misrepresented as being the original software.
#
#	4. This software is restricted to non-commercial use only.  Commercial
#		use is subject to a specific license, obtainable from LSV.
#		This was developed as part of the EVA project; as such, access
#		to this software by partners of the RNTL EVA Project (Trusted
#		Logic S.A., Verimag) is defined by the intellectual property
#		agreement signed as part of this project.

%.cmx: %.ml
	ocamlopt -c $<

%.cmo: %.ml
	ocamlc -c -g $<

%.cmi: %.mli
	ocamlopt -c $<

# Compilation parameters:
CC=cc
CFLAGS=-c -ggdb
YACC=bison
LEX=lex
LFLAGS=-ggdb -lm

COBJS=eva.tab.o eva.lex.o
CAMLLIBOBJS=lisptoken.cmx lispin.cmx lispread.cmx lispwrite.cmx
CAMLLIBBOBJS=$(addsuffix .cmo,$(basename $(CAMLLIBOBJS)))

all : evaparse evatrans lisp.cmxa lisp.cma
	(cd Translator; make)
	(cd Doc; make)

clean :
	-rm evaparse evatrans hacktab gag
	-rm *.o *.cmo *.cmi *.cmx
	(cd Translator; make clean)
	(cd Doc; make clean)

cleanall : clean
	-rm *~
	-rm eva.lex.c eva.tab.c eva.tab.h lispin.ml
	(cd Translator; make cleanall)
	(cd Doc; make cleanall)

evaparse : $(COBJS)
	$(CC) -o evaparse $(COBJS) $(LFLAGS)

evatrans : Translator/evatrans
	ln -f Translator/evatrans evatrans

Translator/evatrans :
	(cd Translator; make)

hacktab : hacktab.l
	$(LEX) -s -8 -oht.c hacktab.l
	$(CC) -o hacktab ht.c
	rm ht.c

eva.lex.c : eva.l
	$(LEX) -s -8 -oeva.lex.c eva.l

eva.tab.c eva.tab.h : eva.y hacktab
	$(YACC) -dl eva.y
	mv eva.tab.c gag.c
	./hacktab <gag.c >eva.tab.c
	rm gag.c

lisp.cmxa : $(CAMLLIBOBJS)
	ocamlopt -a -o lisp.cmxa $(CAMLLIBOBJS)

lisp.cma : $(CAMLLIBBOBJS)
	ocamlc -a -o lisp.cma $(CAMLLIBBOBJS)

lispin.ml: lispin.mll lisptoken.cmx
	ocamllex lispin.mll

gag : lisptoken.cmx lispin.cmx lispread.cmx
	ocamlopt -o gag lisptoken.cmx lispin.cmx lispread.cmx

gag.cmo : lisptoken.cmo lispin.cmo lispread.cmo
	ocamlc -g -o gag.cmo lisptoken.cmo lispin.cmo lispread.cmo

depend:
	ocamldep *.ml *.mli >.depend

include .depend