diff --git a/.gitignore b/.gitignore
index 52eb182d75d9d47fe38ec542a8cfdf72c98e8a57..55602b83af85087823237e66490b5144660b50b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,8 @@
 
 .project
 /main.pl
+
+# Built libraries
+*.a
+*.o
+*.so