balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'dune-ignore' into 'dev'

Browse Source 
Adjust dune ignores

See merge request ligolang/ligo!267
This commit is contained in:
Tom Jack 2019-12-19 20:41:00 +00:00
commit d71ac66f07
9 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -1,5 +1,4 @@
/_build/
dune-project
*~
*.merlin
cache/*
@ -8,3 +7,4 @@ Version.ml
/*.pp.ligo
**/.DS_Store
.vscode/
/ligo.install

3
dune-project Normal file
View File

@ -0,0 +1,3 @@
(lang dune 1.11)
(name ligo)
(using menhir 2.0)

2
vendors/ligo-utils/memory-proto-alpha/dune-project vendored Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.11)
(name tezos-memory-proto-alpha)

2
vendors/ligo-utils/proto-alpha-utils/dune-project vendored Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.11)
(name proto-alpha-utils)

2
vendors/ligo-utils/simple-utils/dune-project vendored Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.11)
(name simple-utils)

2
vendors/ligo-utils/tezos-protocol-alpha-parameters/dune-project vendored Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.11)
(name tezos-protocol-005-PsBabyM1-parameters)

2
vendors/ligo-utils/tezos-protocol-alpha/dune-project vendored Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.11)
(name tezos-embedded-protocol-005-PsBabyM1)

2
vendors/ligo-utils/tezos-utils/dune-project vendored Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.11)
(name tezos-utils)

2
vendors/ligo-utils/tezos-utils/michelson-parser/dune-project vendored Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.11)
(name michelson-parser)