diff --git a/.gitignore b/.gitignore
index 1735b82c..bf0944b9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,8 +19,13 @@ prism/bin/
 prism/classes/
 prism/obj/
 
+# temporary build files:
+prism/prism-sources.txt
+
 # generated JAR files:
 prism/lib/lpsolve55j.jar
+prism/lib/prism.jar
+prism/lib/prism-sources.jar
 
 # generated CUDD headers:
 cudd/include/*.h