Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev

This commit is contained in:
Christian Rinderknecht 2019-12-24 11:59:34 +01:00
commit b0e92a58bf
2 changed files with 5 additions and 2 deletions

View File

@ -31,5 +31,6 @@
(libraries (libraries
parser_cameligo) parser_cameligo)
(modules (modules
ParserAPI
ParserMain) ParserMain)
(flags (:standard -open Simple_utils -open Parser_shared -open Parser_cameligo))) (flags (:standard -open Simple_utils -open Parser_shared -open Parser_cameligo)))

View File

@ -30,7 +30,9 @@
(executable (executable
(name ParserMain) (name ParserMain)
(libraries (libraries
parser_reasonligo) parser_reasonligo
parser_cameligo)
(modules (modules
ParserAPI
ParserMain) ParserMain)
(flags (:standard -open Simple_utils -open Parser_shared -open Parser_reasonligo))) (flags (:standard -open Simple_utils -open Parser_cameligo -open Parser_shared -open Parser_reasonligo)))