From d7bea52d44c1c33bca6308e12502eedd6c700998 Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Tue, 17 Dec 2019 10:20:39 -0600
Subject: [PATCH] Unignore dune-project

---
 .gitignore                                                     | 1 -
 dune-project                                                   | 3 +++
 vendors/ligo-utils/memory-proto-alpha/dune-project             | 2 ++
 vendors/ligo-utils/proto-alpha-utils/dune-project              | 2 ++
 vendors/ligo-utils/simple-utils/dune-project                   | 2 ++
 .../ligo-utils/tezos-protocol-alpha-parameters/dune-project    | 2 ++
 vendors/ligo-utils/tezos-protocol-alpha/dune-project           | 2 ++
 vendors/ligo-utils/tezos-utils/dune-project                    | 2 ++
 vendors/ligo-utils/tezos-utils/michelson-parser/dune-project   | 2 ++
 9 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 dune-project
 create mode 100644 vendors/ligo-utils/memory-proto-alpha/dune-project
 create mode 100644 vendors/ligo-utils/proto-alpha-utils/dune-project
 create mode 100644 vendors/ligo-utils/simple-utils/dune-project
 create mode 100644 vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project
 create mode 100644 vendors/ligo-utils/tezos-protocol-alpha/dune-project
 create mode 100644 vendors/ligo-utils/tezos-utils/dune-project
 create mode 100644 vendors/ligo-utils/tezos-utils/michelson-parser/dune-project

diff --git a/.gitignore b/.gitignore
index cf5ed1f94..5794afd17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,4 @@
 /_build/
-dune-project
 *~
 *.merlin
 cache/*
diff --git a/dune-project b/dune-project
new file mode 100644
index 000000000..b3ec15752
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,3 @@
+(lang dune 1.11)
+(name ligo)
+(using menhir 2.0)
diff --git a/vendors/ligo-utils/memory-proto-alpha/dune-project b/vendors/ligo-utils/memory-proto-alpha/dune-project
new file mode 100644
index 000000000..1cf86c9fe
--- /dev/null
+++ b/vendors/ligo-utils/memory-proto-alpha/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name tezos-memory-proto-alpha)
diff --git a/vendors/ligo-utils/proto-alpha-utils/dune-project b/vendors/ligo-utils/proto-alpha-utils/dune-project
new file mode 100644
index 000000000..45c9397fd
--- /dev/null
+++ b/vendors/ligo-utils/proto-alpha-utils/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name proto-alpha-utils)
diff --git a/vendors/ligo-utils/simple-utils/dune-project b/vendors/ligo-utils/simple-utils/dune-project
new file mode 100644
index 000000000..f33d41d33
--- /dev/null
+++ b/vendors/ligo-utils/simple-utils/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name simple-utils)
diff --git a/vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project b/vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project
new file mode 100644
index 000000000..6910ef322
--- /dev/null
+++ b/vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name tezos-protocol-005-PsBabyM1-parameters)
diff --git a/vendors/ligo-utils/tezos-protocol-alpha/dune-project b/vendors/ligo-utils/tezos-protocol-alpha/dune-project
new file mode 100644
index 000000000..d4d600dc7
--- /dev/null
+++ b/vendors/ligo-utils/tezos-protocol-alpha/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name tezos-embedded-protocol-005-PsBabyM1)
diff --git a/vendors/ligo-utils/tezos-utils/dune-project b/vendors/ligo-utils/tezos-utils/dune-project
new file mode 100644
index 000000000..d08be9590
--- /dev/null
+++ b/vendors/ligo-utils/tezos-utils/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name tezos-utils)
diff --git a/vendors/ligo-utils/tezos-utils/michelson-parser/dune-project b/vendors/ligo-utils/tezos-utils/michelson-parser/dune-project
new file mode 100644
index 000000000..9b32caac7
--- /dev/null
+++ b/vendors/ligo-utils/tezos-utils/michelson-parser/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name michelson-parser)