From 4cabe141fc5f89627fcb44f6c90b24daedc70c89 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 13 Apr 2018 15:18:21 +0100
Subject: Add a few more generated file to gitignore

---
 .gitignore                  |  5 +++++
 lib/isabelle/.gitignore     | 13 +++++++++++++
 test/riscv/tests/.gitignore |  1 +
 3 files changed, 19 insertions(+)
 create mode 100644 lib/isabelle/.gitignore
 create mode 100644 test/riscv/tests/.gitignore

diff --git a/.gitignore b/.gitignore
index 87e0cdfd..7c36889b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,13 @@
+/sail
 *~
 *.native
 *.byte
 src/_build/
 src/sail.docdir
+src/ast.lem
+src/ast.ml
+src/bytecode.lem
+src/bytecode.ml
 _sbuild/
 test/typecheck/rtpass*/
 language/*.pdf
diff --git a/lib/isabelle/.gitignore b/lib/isabelle/.gitignore
new file mode 100644
index 00000000..0d595f3c
--- /dev/null
+++ b/lib/isabelle/.gitignore
@@ -0,0 +1,13 @@
+PromptAuxiliary.thy
+Prompt_monadAuxiliary.thy
+Prompt_monad.thy
+Prompt.thy
+Sail_instr_kinds.thy
+Sail_operators_bitlists.thy
+Sail_operators_mwords.thy
+Sail_operators.thy
+Sail_valuesAuxiliary.thy
+Sail_values.thy
+StateAuxiliary.thy
+State_monad.thy
+State.thy
diff --git a/test/riscv/tests/.gitignore b/test/riscv/tests/.gitignore
new file mode 100644
index 00000000..f47cb204
--- /dev/null
+++ b/test/riscv/tests/.gitignore
@@ -0,0 +1 @@
+*.out
-- 
cgit v1.2.3