GAPPATH=../..
CONFIGNAME=default64
# makefile prototype for the EDIM package                         Frank Lübeck

CONFIGNAME=default64

GAPINCL=-I$(GAPPATH)/src -I$(GAPPATH)/bin/aarch64-unknown-linux-gnu-mpicc-default64

PKGROOT=$(shell pwd)

GAP=$(PKGROOT)/../../bin/gap-$(CONFIGNAME).sh

.PHONY: clean doc test

default: bin/aarch64-unknown-linux-gnu-mpicc-default64/ediv.so 

# this target creates a bin-directory
bin/aarch64-unknown-linux-gnu-mpicc-default64:
	if test ! -d bin;  then mkdir bin;  fi
	if test ! -d bin/aarch64-unknown-linux-gnu-mpicc-default64;  then mkdir -p bin/aarch64-unknown-linux-gnu-mpicc-default64;  fi

bin/aarch64-unknown-linux-gnu-mpicc-default64/ediv.so: src/ediv.c bin/aarch64-unknown-linux-gnu-mpicc-default64
	$(GAPPATH)/bin/aarch64-unknown-linux-gnu-mpicc-default64/gac -d -o bin/aarch64-unknown-linux-gnu-mpicc-default64/ediv.so src/ediv.c

doc:
	($(GAP)  makedocrel.g)

clean: 
	rm -rf bin/aarch64-unknown-linux-gnu-mpicc-default64 Makefile Makefile-$(CONFIGNAME) *~

distclean:
	rm -rf bin Makefile Makefile-*

docclean:
	(cd  doc; ./clean)

test:
	$(GAP) -b -q -r < tst/test.g
