# General makefile for GAP4 cohomolo package -
# all executables are put into the bin directory.
BIN = bin/armv7l-unknown-linux-gnueabihf-default32

CC=gcc
CFLAGS = -O

all:
	mkdir -p bin/armv7l-unknown-linux-gnueabihf-default32;
	cd standalone/progs.d;\
	$(MAKE) CC="$(CC)" BIN="..//..//$(BIN)" COPTS="$(COPTS)"

clean:
	cd standalone/progs.d; $(MAKE) clean

distclean:
	cd standalone/progs.d; $(MAKE) clean
	rm -rf bin htm

doc:
	cd doc && ./make_doc

Makefile: configure Makefile.in
	./configure "/build/gap/src/gap-4.9.3"

.PHONY: all clean distclean doc
