SHELL           = /bin/sh
.SUFFIXES:      .c .o

ARCH    =       @ARCH@

srcdir          = @srcdir@
top_srcdir      = @top_srcdir@
prefix          = @prefix@
exec_prefix     = @exec_prefix@
bindir          = @bindir@
libdir          = @libdir@
includedir      = @includedir@
datadir         = @datadir@
distdir         = @distdir@
libexecdir      = @libexecdir@
exampledir      = @exampledir@
docdir          = @docdir@

CC              = @CC@
CFLAGS          = @CFLAGS@
CPPFLAGS        = @CPPFLAGS@
DEFS            = @DEFS@ -DBINDIR=\"$(bindir)\"
LIBS            = -lrw -L. @LIBS@
VERSION		= @VERSION@

@SET_MAKE@

all:
		$(MAKE) config
		(cd aterm; $(MAKE) install)
		if test "@SVC@" =  "yes"; \
		then (cd svc; $(MAKE) install); \
		fi
		(cd lin; $(MAKE) install)
		(cd data; $(MAKE) install)
		(cd doc; $(MAKE) install)
		if test "@SVCTOOLS@" =  "yes"; \
		then (cd svctools; $(MAKE) install); \
		fi
		if test "@SIMULATOR@" =  "yes"; \
		then (cd src; $(MAKE) install); \
		else (cd src; $(MAKE) install0); \
		fi
		if test "@PROVER@" =  "yes"; \
		then (cd prover; $(MAKE) install); \
		fi
		if test "@MCRLDESK@" =  "yes"; \
		then $(MAKE) mcrldesk; \
		fi
		@echo "Making for $(ARCH) is completed successfully"

mcrldesk:
		cp mcrldesk.shar @libexecdir@
		cp mcrldesk.jar @libexecdir@
		echo "@libexecdir@/mcrldesk.shar @libexecdir@ @bindir@" >@bindir@/mcrldesk
		echo "version=@VERSION@" > @libexecdir@/mcrldesk.properties
		echo "binpath=@bindir@" >> @libexecdir@/mcrldesk.properties
		cat mcrldesk.properties.in >> @libexecdir@/mcrldesk.properties
		chmod a+x @bindir@/mcrldesk @libexecdir@/mcrldesk.shar

install:
		$(MAKE) all

uninstall:
		(cd lin; $(MAKE) uninstall)
		(cd src; $(MAKE) uninstall)
		(cd aterm; $(MAKE) uninstall)

dist:
		rm -rf $(distdir)
		mkdir $(distdir)
		mkdir $(distdir)/doc
		cp configure.in Makefile.in config.h.in configure config.sub \
		config.guess install-sh LICENSE INSTALL \
		mcrldesk.properties.in mcrldesk.jar mcrldesk.shar \
		$(distdir)
		(cd aterm;$(MAKE) dist)
		(cd lin;$(MAKE) dist)
		if test -d svc; \
		then (cd svc;$(MAKE) -e distdir=$(distdir)/svc distdir); \
		fi;
		if test -d svctools; \
		then (cd svctools;$(MAKE) -e distdir=$(distdir)/svctools distdir); \
		fi;
		if test -d prover; \
		then (cd prover;$(MAKE) dist); \
		fi;
		(cd src;$(MAKE) dist)
		(cd data;$(MAKE) dist)
		(cd doc;$(MAKE) dist)
		rm -f "$(distdir).tar"
		rm -f "$(distdir).tar.gz"
		chmod -R a+r $(distdir)
		(cd $(distdir)/..; tar cf "$(distdir).tar" `basename $(distdir)` )
		gzip "$(distdir).tar"
		chmod a+r "$(distdir).tar.gz"
		chgrp spec "$(distdir).tar.gz"

clean:
		rm -f Makefile config.cache config.log config.status
		(cd aterm;$(MAKE) clean)
		(cd lin;$(MAKE) clean)
		(cd src;$(MAKE) clean)
		if test -d svc; then \
		    (cd svc;$(MAKE) clean); \
		fi
		if test -d svctools; then \
		    (cd svctools;$(MAKE) clean); \
		fi
		if test -d prover; then \
		    (cd prover;$(MAKE) clean); \
		fi

config:
		cp config.h src/config.h
		cp config.h lin/config.h
		@echo "#define BINDIR \"$(bindir)\"" >> src/config.h
		@echo "#define LIBEXECDIR \"$(libexecdir)\"" >> src/config.h
		@echo "#define CPPFLAGS \"-I$(includedir) $(CPPFLAGS)\"" >> src/config.h
		@if test "@SVC@" =  "yes"; \
		then echo "#define SVC" >> src/config.h; \
		fi;
		@if test "@BCG@" =  "yes"; \
		then echo "#define BCG" >> src/config.h; \
		fi;