From 5ebf3b0cc2ea3b17cdabfbc2dadb53e637ad101d Mon Sep 17 00:00:00 2001
From: Chris Novakovic <c.novakovic@cs.bham.ac.uk>
Date: Wed, 15 Aug 2018 12:48:24 +0100
Subject: [PATCH] .gitignore: add prism(-sources).jar and associated temporary
 file

Blacklist the following files from version control:

* prism/lib/prism.jar: this is generated by the "binary" target in
  prism/Makefile.
* prism/lib/prism-sources.jar: this is generated by the "source-jar"
  target in prism/Makefile.
* prism/prism-sources.txt: this is a temporary build file generated by
  the "source-jar" target in prism/Makefile and will be deleted if it
  succeeds, but will be left behind if jar(1) exits unsuccessfully.
---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

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