From 04a770e22d27d043e722a640fbacdaa3bc59e3aa Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Mon, 9 Dec 2019 16:49:48 +0100 Subject: [PATCH] To enable local builds of the PascaLIGO parser. --- src/passes/1-parser/pascaligo/.links | 3 +++ src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml | 1 + 2 files changed, 4 insertions(+) diff --git a/src/passes/1-parser/pascaligo/.links b/src/passes/1-parser/pascaligo/.links index f0fdfb646..3c0ffd08a 100644 --- a/src/passes/1-parser/pascaligo/.links +++ b/src/passes/1-parser/pascaligo/.links @@ -4,6 +4,9 @@ $HOME/git/ligo/vendors/ligo-utils/simple-utils/pos.mli $HOME/git/ligo/vendors/ligo-utils/simple-utils/pos.ml $HOME/git/ligo/vendors/ligo-utils/simple-utils/region.mli $HOME/git/ligo/vendors/ligo-utils/simple-utils/region.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/x_map.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/x_list.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/x_option.ml ../shared/Lexer.mli ../shared/Lexer.mll ../shared/Error.mli diff --git a/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml b/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml index 0360af1b5..61a721ba3 100644 --- a/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml +++ b/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml @@ -1,2 +1,3 @@ module Region = Region module Pos = Pos +module Option = X_option