2014-04-14 22:29:55 +02:00
|
|
|
all:
|
|
|
|
|
$(MAKE) -C src
|
|
|
|
|
|
2014-04-15 14:13:03 +02:00
|
|
|
main:
|
|
|
|
|
$(MAKE) -C src main
|
|
|
|
|
|
2014-04-14 22:29:55 +02:00
|
|
|
clean:
|
|
|
|
|
$(MAKE) -C src clean
|
|
|
|
|
|
|
|
|
|
clean-all: clean
|
2014-05-19 00:04:00 +02:00
|
|
|
$(MAKE) -C external/flint-2.4.3 clean
|
2014-04-14 22:29:55 +02:00
|
|
|
|
|
|
|
|
doc:
|
|
|
|
|
doxygen
|
|
|
|
|
|
|
|
|
|
doc-pdf: doc
|
|
|
|
|
$(MAKE) -C latex pdf
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
.PHONY: clean clean-all doc doc-pdf
|
