# sample makefile
CC?=cc
GAPPATH=/build/gap/src/gap-4.14.0

all:
	@mkdir -p bin/aarch64-unknown-linux-gnu-default64-kv9
	cd src && make
	@cp src/ace bin/aarch64-unknown-linux-gnu-default64-kv9/ace

clean:	
	rm -rf bin src/ace

distclean: clean
	rm -rf Makefile htm

# use this target only if you want to build the manual from scratch.
doc:
	(cd doc;./make_doc)

otherdoc:
	(cd standalone-doc;latex ace3001;bibtex ace3001;latex ace3001;latex ace3001)
	(cd standalone-doc;dvips ace3001 -o)
	(cd standalone-doc;rm ace3001.{toc,blg,log,aux})

Makefile: configure Makefile.in $(GAPPATH)/sysinfo.gap
	./configure "$(GAPPATH)"

.PHONY: all clean distclean doc otherdoc
