srcdir=@srcdir@
top_builddir=@abs_top_builddir@

all: configure
	make -C @GMP@ all && make -C @GMP@ install
	make -C @MPFR@ all

configure:
	if [ ! -d @GMP@ ]; then \
		mkdir @GMP@; \
	fi
	if [ ! -d @MPFR@ ]; then \
		mkdir @MPFR@ ; \
	fi
	if [ ! -f @GMP@/config.log ]; then \
		(cd @GMP@ && ../$(srcdir)/@GMP@/configure --with-readline=no \
				--prefix=$(top_builddir)/rplcas/@GMP@); \
	fi
	if [ ! -f @MPFR@/config.log ]; then \
		(cd @MPFR@ && ../$(srcdir)/@MPFR@/configure --with-gmp=../@GMP@ \
				--prefix=$(top_builddir)/rplcas/@MPFR@); \
	fi

install: all

clean: configure
	make -C @GMP@ clean
	make -C @MPFR@ clean