diff --git a/.gitignore b/.gitignore
index 2032466..47f44e1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,5 @@
 /mpfr-*/
 /build-*/
 /linux-*/
+/isl-*/
+/build/