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)