all:
$(MAKE) -C src
main:
$(MAKE) -C src main
clean:
$(MAKE) -C src clean
clean-all: clean
$(MAKE) -C external/flint-2.4.3 clean
doc:
doxygen
doc-pdf: doc
$(MAKE) -C latex pdf
.PHONY: clean clean-all doc doc-pdf