From 01933d1b5cf6fc38abe8c7722e447bd312a6e148 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 9 Apr 2015 19:47:27 +0100
Subject: Add initial Dockerfile for building a KLEE Docker image (uses
 LLVM3.4). This is is tightly coupled with the TravisCI scripts.

There are some really nasty hacks in here that we should get rid of
at some point.
---
 .dockerignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .dockerignore

(limited to '.dockerignore')

diff --git a/.dockerignore b/.dockerignore
new file mode 100644
index 00000000..b3d5b5a0
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1,3 @@
+.git
+autom4te.cache
+.*.swp
-- 
cgit 1.4.1