SHELL     = /bin/sh

ALLIGATOR = $(TOP)/archi/$(MACHINE)/bin/alligator
LCA2VBE	  = $(TOP)/archi/$(MACHINE)/bin/lca2vbe 
PROOF     = $(TOP)/archi/$(MACHINE)/bin/proof


#################################################################
# PROOF between digicod.vbe and digicodl.vbe			#
#								#
#################################################################

proof_local : digicod_local digicodl.vbe 
	MBK_WORK_LIB=. ; export MBK_WORK_LIB;\
	$(PROOF) -a -d digicod digicodl ;\
	echo "proof_local done" >> proof_local

#################################################################
#  Alligator Compilation and Optimization on Local		#
#  Mode								#
#################################################################

digicod_local : digicod_global proof_global
	MBK_WORK_LIB=. ; export MBK_WORK_LIB;\
 	MBK_OUT_LO=al; export MBK_OUT_LO;\
	$(ALLIGATOR) -l -target=X3000 digicod digicod;\
	echo "digicod_local done " >> digicod_local


#################################################################
# PROOF between digicod.vbe and digicodo.vbe			#
#								#
#################################################################

proof_global : digicod_global digicodo.vbe
	MBK_WORK_LIB=. ; export MBK_WORK_LIB;\
	$(PROOF) -a -d digicod digicodo ;\
	echo "proof_global done " >> proof_global


#################################################################
#  Alligator Compilation and Optimization on Global		#
#  Mode								#
#################################################################

digicod_global : digicod.vbe
	MBK_WORK_LIB=. ; export MBK_WORK_LIB;\
 	MBK_OUT_LO=al; export MBK_OUT_LO;\
	$(ALLIGATOR) -o -target=X3000 digicod digicod;\
	echo "digicod_global done " >> digicod_global

clean :
	-/bin/rm -f *.clb *.xnf
	-/bin/rm -f digicodl.vbe digicodo.vbe digicode.vbe
	-/bin/rm -f digicodo.al digicodl.al
	-/bin/rm -f digicod_global proof_global
	-/bin/rm -f digicod_local proof_local 
