# makefile prototype for the EDIM package (assuming GAP >= 4.9) Frank Lübeck

GAPPATH=/build/gap/src/gap-4.12.2

GAP=/build/gap/src/gap-4.12.2/gap

GAC=/build/gap/src/gap-4.12.2/gac

.PHONY: doc clean distclean docclean test

bin/aarch64-unknown-linux-gnu-default64-kv8/ediv.so: src/ediv.c Makefile
	@mkdir -p bin/aarch64-unknown-linux-gnu-default64-kv8
	$(GAC) -d -o bin/aarch64-unknown-linux-gnu-default64-kv8/ediv.so src/ediv.c

doc:
	$(GAP)  makedocrel.g

clean: 
	rm -rf bin/aarch64-unknown-linux-gnu-default64-kv8 Makefile *~

distclean:
	rm -rf bin Makefile Makefile-*

docclean:
	(cd  doc; ./clean)

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

# regenerate Makefile if any of its inputs changed
Makefile: configure Makefile.in $(GAPPATH)/sysinfo.gap
	./configure /build/gap/src/gap-4.12.2
