From 3d72a13cc3f30336558cecacca4334c028117b58 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 18 Aug 2016 22:42:24 +0000
Subject: [PATCH] Add .gitignore file (for now, for git mirror of the svn
 repo).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11645 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 .gitignore | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..a755c3a4
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,31 @@
+# general patterns to ignore
+# Emacs backup files
+*~
+# OS X system files
+.DS_Store
+
+
+# build artefacts by pattern:
+*.o
+*.a
+*.class
+*.dylib
+*.jnilib
+*.so
+*.dll
+
+# build artefact directories:
+prism/bin/
+prism/classes/
+prism/obj/
+
+# generated JAR files:
+prism/lib/lpsolve55j.jar
+
+# generated CUDD headers:
+cudd/include/*.h
+
+# Eclipse project file (should not be versioned)
+prism/\.project
+# Eclipse project custom settings directory
+prism/\.settings/