# General makefile for GAP4 cohomolo package -
# all executables are put into the bin directory.
BIN = bin/x86_64-pc-linux-gnu-default64-kv3

CC=gcc
CFLAGS = -O

all:
	mkdir -p bin/x86_64-pc-linux-gnu-default64-kv3;
	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.10.1"

.PHONY: all clean distclean doc
