From 813b405a047a0b7afdeb38c7b87a96b808beffcb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 25 Mar 2019 17:12:52 +0100 Subject: [PATCH] Turn ligo-parser into a library (was executable) --- src/ligo/ligo-parser/dune | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/ligo/ligo-parser/dune b/src/ligo/ligo-parser/dune index e9ea35efd..a81a1b271 100644 --- a/src/ligo/ligo-parser/dune +++ b/src/ligo/ligo-parser/dune @@ -6,10 +6,9 @@ (modules ParToken Parser) (flags -la 1 --explain --external-tokens LexToken)) -(executables - (names LexerMain ParserMain) - (public_names ligo-lexer ligo-parser) - (package ligo-parser) +(library + (name ligo_parser) + (public_name ligo-parser) (modules_without_implementation Error) (libraries getopt hex str uutf zarith))