From c867a4c4d4b38f92ed3e650429b01ab97068579d Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Mon, 9 Sep 2019 13:59:08 -0700 Subject: [PATCH] Remove dune-project files --- .gitignore | 2 +- src/dune-project | 2 -- vendors/ligo-utils/memory-proto-alpha/dune-project | 2 -- vendors/ligo-utils/proto-alpha-utils/dune-project | 1 - vendors/ligo-utils/simple-utils/dune-project | 1 - vendors/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 | 1 - vendors/ligo-utils/tezos-utils/michelson-parser/dune-project | 1 - 9 files changed, 1 insertion(+), 13 deletions(-) delete mode 100644 src/dune-project delete mode 100644 vendors/ligo-utils/memory-proto-alpha/dune-project delete mode 100644 vendors/ligo-utils/proto-alpha-utils/dune-project delete mode 100644 vendors/ligo-utils/simple-utils/dune-project delete mode 100644 vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project delete mode 100644 vendors/ligo-utils/tezos-protocol-alpha/dune-project delete mode 100644 vendors/ligo-utils/tezos-utils/dune-project delete mode 100644 vendors/ligo-utils/tezos-utils/michelson-parser/dune-project diff --git a/.gitignore b/.gitignore index 52f26081e..10c5583fa 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,5 @@ /_build/ -/dune-project +dune-project *~ cache/* Version.ml diff --git a/src/dune-project b/src/dune-project deleted file mode 100644 index ca4766b9c..000000000 --- a/src/dune-project +++ /dev/null @@ -1,2 +0,0 @@ -(lang dune 1.11) -(using menhir 2.0) diff --git a/vendors/ligo-utils/memory-proto-alpha/dune-project b/vendors/ligo-utils/memory-proto-alpha/dune-project deleted file mode 100644 index 1cf86c9fe..000000000 --- a/vendors/ligo-utils/memory-proto-alpha/dune-project +++ /dev/null @@ -1,2 +0,0 @@ -(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 deleted file mode 100644 index a26d6e273..000000000 --- a/vendors/ligo-utils/proto-alpha-utils/dune-project +++ /dev/null @@ -1 +0,0 @@ -(lang dune 1.6) diff --git a/vendors/ligo-utils/simple-utils/dune-project b/vendors/ligo-utils/simple-utils/dune-project deleted file mode 100644 index a26d6e273..000000000 --- a/vendors/ligo-utils/simple-utils/dune-project +++ /dev/null @@ -1 +0,0 @@ -(lang dune 1.6) diff --git a/vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project b/vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project deleted file mode 100644 index 4afa89be6..000000000 --- a/vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project +++ /dev/null @@ -1,2 +0,0 @@ -(lang dune 1.10) -(name tezos-protocol-alpha-parameters) diff --git a/vendors/ligo-utils/tezos-protocol-alpha/dune-project b/vendors/ligo-utils/tezos-protocol-alpha/dune-project deleted file mode 100644 index 6d415f3bf..000000000 --- a/vendors/ligo-utils/tezos-protocol-alpha/dune-project +++ /dev/null @@ -1,2 +0,0 @@ -(lang dune 1.10) -(name tezos-embedded-protocol-alpha) diff --git a/vendors/ligo-utils/tezos-utils/dune-project b/vendors/ligo-utils/tezos-utils/dune-project deleted file mode 100644 index a26d6e273..000000000 --- a/vendors/ligo-utils/tezos-utils/dune-project +++ /dev/null @@ -1 +0,0 @@ -(lang dune 1.6) diff --git a/vendors/ligo-utils/tezos-utils/michelson-parser/dune-project b/vendors/ligo-utils/tezos-utils/michelson-parser/dune-project deleted file mode 100644 index a26d6e273..000000000 --- a/vendors/ligo-utils/tezos-utils/michelson-parser/dune-project +++ /dev/null @@ -1 +0,0 @@ -(lang dune 1.6)