BUILD: Fix Makefiles for flint

2014-05-19 00:04:00 +02:00
parent d51d8e3652
commit 7b0a1f1920
2 changed files with 15 additions and 6 deletions
--- a/1
+++ b/1
@@ -10,6 +10,7 @@ clean:
 clean-all: clean
 	$(MAKE) -C external/libtommath-0.42.0 clean
 	$(MAKE) -C external/libtompoly-0.04 clean
+	$(MAKE) -C external/flint-2.4.3 clean

 doc:
 	doxygen