diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 000000000..e1907bbed --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,50 @@ +before_script: + + # Install dependencies + # rsync is needed by opam to sync a package installed from a local directory with the copy in ~/.opam + - apt-get update -qq + - apt-get -y -qq install rsync libhidapi-dev libcap-dev libev-dev bubblewrap + - wget https://github.com/ocaml/opam/releases/download/2.0.1/opam-2.0.1-x86_64-linux -O opam-2.0.1-x86_64-linux + - cp opam-2.0.1-x86_64-linux /usr/local/bin/opam + - chmod +x /usr/local/bin/opam + - export PATH="/usr/local/bin${PATH:+:}${PATH:-}" + + # Show environment + - echo "$PATH" + - printf '' | opam init + - eval $(opam config env) + + # Create switch + - printf '' | opam switch create toto ocaml-base-compiler.4.06.1 + - eval $(opam config env) + # Show versions and current switch + - opam --version + - printf '' | ocaml + - opam switch + +# default-job: +# script: +# - (cd src/lib_utils && opam install -y --build-test --working-dir .) +# - (cd src/ligo && opam install -y --build-test --working-dir .) +# - (cd src/ligo && dune build && dune build -p ligo && dune build @ligo-test) +# artifacts: +# paths: +# - src/ligo/bin/cli.ml + +local-repo-job: + script: + - root_dir="$(pwd | sed -e 's/\\/\\\\/' | sed -e 's/&/\\\&/' | sed -e 's/~/\\~/')"; ( cd vendors/ligo-opam-repository; git grep -z -l src: | xargs -0 sed -i -e 's~src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz"~src: "git+file://'"$root_dir"'"~' -e 's~src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz"~src: "git+file://'"$root_dir"'/vendors/ligo-utils"~' -e 's~src: "https://gitlab.com/gabriel.alfour/tezos-modded/-/archive/master/tezos-modded.tar.gz"~src: "git+file://'"$root_dir"'/vendors/tezos-modded"~' ) + - opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository/" + - opam install -y --build-test ligo + +install-from-repo-job: + script: + # Add repository + - opam repository add ligo-repository https://gitlab.com/gabriel.alfour/ligo-opam-repository.git + - eval $(opam config env) + - opam install -y ligo + # Used in the IDE + #- opam install -y user-setup + #- opam install -y merlin + #- opam install -y ocp-indent + #- opam user-setup install diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..638bce839 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,9 @@ +[submodule "vendors/ligo-opam-repository"] + path = vendors/ligo-opam-repository + url = https://gitlab.com/gabriel.alfour/ligo-opam-repository.git +[submodule "vendors/ligo-utils"] + path = vendors/ligo-utils + url = https://gitlab.com/gabriel.alfour/ligo-utils.git +[submodule "vendors/tezos-modded"] + path = vendors/tezos-modded + url = https://gitlab.com/gabriel.alfour/tezos-modded.git diff --git a/.gitignore b/src/.gitignore similarity index 100% rename from .gitignore rename to src/.gitignore diff --git a/README_INSTALL b/src/README_INSTALL similarity index 100% rename from README_INSTALL rename to src/README_INSTALL diff --git a/TODO.txt b/src/TODO.txt similarity index 100% rename from TODO.txt rename to src/TODO.txt diff --git a/ast_simplified/PP.ml b/src/ast_simplified/PP.ml similarity index 100% rename from ast_simplified/PP.ml rename to src/ast_simplified/PP.ml diff --git a/ast_simplified/ast_simplified.ml b/src/ast_simplified/ast_simplified.ml similarity index 100% rename from ast_simplified/ast_simplified.ml rename to src/ast_simplified/ast_simplified.ml diff --git a/ast_simplified/combinators.ml b/src/ast_simplified/combinators.ml similarity index 100% rename from ast_simplified/combinators.ml rename to src/ast_simplified/combinators.ml diff --git a/ast_simplified/dune b/src/ast_simplified/dune similarity index 100% rename from ast_simplified/dune rename to src/ast_simplified/dune diff --git a/ast_simplified/misc.ml b/src/ast_simplified/misc.ml similarity index 100% rename from ast_simplified/misc.ml rename to src/ast_simplified/misc.ml diff --git a/ast_simplified/types.ml b/src/ast_simplified/types.ml similarity index 100% rename from ast_simplified/types.ml rename to src/ast_simplified/types.ml diff --git a/ast_typed/PP.ml b/src/ast_typed/PP.ml similarity index 100% rename from ast_typed/PP.ml rename to src/ast_typed/PP.ml diff --git a/ast_typed/ast_typed.ml b/src/ast_typed/ast_typed.ml similarity index 100% rename from ast_typed/ast_typed.ml rename to src/ast_typed/ast_typed.ml diff --git a/ast_typed/combinators.ml b/src/ast_typed/combinators.ml similarity index 100% rename from ast_typed/combinators.ml rename to src/ast_typed/combinators.ml diff --git a/ast_typed/combinators_environment.ml b/src/ast_typed/combinators_environment.ml similarity index 100% rename from ast_typed/combinators_environment.ml rename to src/ast_typed/combinators_environment.ml diff --git a/ast_typed/dune b/src/ast_typed/dune similarity index 100% rename from ast_typed/dune rename to src/ast_typed/dune diff --git a/ast_typed/environment.ml b/src/ast_typed/environment.ml similarity index 100% rename from ast_typed/environment.ml rename to src/ast_typed/environment.ml diff --git a/ast_typed/misc.ml b/src/ast_typed/misc.ml similarity index 100% rename from ast_typed/misc.ml rename to src/ast_typed/misc.ml diff --git a/ast_typed/types.ml b/src/ast_typed/types.ml similarity index 100% rename from ast_typed/types.ml rename to src/ast_typed/types.ml diff --git a/bin/cli.ml b/src/bin/cli.ml similarity index 100% rename from bin/cli.ml rename to src/bin/cli.ml diff --git a/bin/dune b/src/bin/dune similarity index 100% rename from bin/dune rename to src/bin/dune diff --git a/compiler/compiler.ml b/src/compiler/compiler.ml similarity index 100% rename from compiler/compiler.ml rename to src/compiler/compiler.ml diff --git a/compiler/compiler_environment.ml b/src/compiler/compiler_environment.ml similarity index 100% rename from compiler/compiler_environment.ml rename to src/compiler/compiler_environment.ml diff --git a/compiler/compiler_program.ml b/src/compiler/compiler_program.ml similarity index 100% rename from compiler/compiler_program.ml rename to src/compiler/compiler_program.ml diff --git a/compiler/compiler_type.ml b/src/compiler/compiler_type.ml similarity index 100% rename from compiler/compiler_type.ml rename to src/compiler/compiler_type.ml diff --git a/compiler/dune b/src/compiler/dune similarity index 100% rename from compiler/dune rename to src/compiler/dune diff --git a/compiler/uncompiler.ml b/src/compiler/uncompiler.ml similarity index 100% rename from compiler/uncompiler.ml rename to src/compiler/uncompiler.ml diff --git a/contracts/annotation.ligo b/src/contracts/annotation.ligo similarity index 100% rename from contracts/annotation.ligo rename to src/contracts/annotation.ligo diff --git a/contracts/arithmetic.ligo b/src/contracts/arithmetic.ligo similarity index 100% rename from contracts/arithmetic.ligo rename to src/contracts/arithmetic.ligo diff --git a/contracts/basic.mligo b/src/contracts/basic.mligo similarity index 100% rename from contracts/basic.mligo rename to src/contracts/basic.mligo diff --git a/contracts/boolean_operators.ligo b/src/contracts/boolean_operators.ligo similarity index 100% rename from contracts/boolean_operators.ligo rename to src/contracts/boolean_operators.ligo diff --git a/contracts/closure.ligo b/src/contracts/closure.ligo similarity index 100% rename from contracts/closure.ligo rename to src/contracts/closure.ligo diff --git a/contracts/coase.ligo b/src/contracts/coase.ligo similarity index 100% rename from contracts/coase.ligo rename to src/contracts/coase.ligo diff --git a/contracts/condition.ligo b/src/contracts/condition.ligo similarity index 100% rename from contracts/condition.ligo rename to src/contracts/condition.ligo diff --git a/contracts/counter.ligo b/src/contracts/counter.ligo similarity index 100% rename from contracts/counter.ligo rename to src/contracts/counter.ligo diff --git a/contracts/counter.mligo b/src/contracts/counter.mligo similarity index 100% rename from contracts/counter.mligo rename to src/contracts/counter.mligo diff --git a/contracts/declarations.ligo b/src/contracts/declarations.ligo similarity index 100% rename from contracts/declarations.ligo rename to src/contracts/declarations.ligo diff --git a/contracts/dispatch-counter.ligo b/src/contracts/dispatch-counter.ligo similarity index 100% rename from contracts/dispatch-counter.ligo rename to src/contracts/dispatch-counter.ligo diff --git a/contracts/function-complex.ligo b/src/contracts/function-complex.ligo similarity index 100% rename from contracts/function-complex.ligo rename to src/contracts/function-complex.ligo diff --git a/contracts/function-shared.ligo b/src/contracts/function-shared.ligo similarity index 100% rename from contracts/function-shared.ligo rename to src/contracts/function-shared.ligo diff --git a/contracts/function.ligo b/src/contracts/function.ligo similarity index 100% rename from contracts/function.ligo rename to src/contracts/function.ligo diff --git a/contracts/heap-instance.ligo b/src/contracts/heap-instance.ligo similarity index 100% rename from contracts/heap-instance.ligo rename to src/contracts/heap-instance.ligo diff --git a/contracts/heap.ligo b/src/contracts/heap.ligo similarity index 100% rename from contracts/heap.ligo rename to src/contracts/heap.ligo diff --git a/contracts/high-order.ligo b/src/contracts/high-order.ligo similarity index 100% rename from contracts/high-order.ligo rename to src/contracts/high-order.ligo diff --git a/contracts/included.ligo b/src/contracts/included.ligo similarity index 100% rename from contracts/included.ligo rename to src/contracts/included.ligo diff --git a/contracts/includer.ligo b/src/contracts/includer.ligo similarity index 100% rename from contracts/includer.ligo rename to src/contracts/includer.ligo diff --git a/contracts/list.ligo b/src/contracts/list.ligo similarity index 100% rename from contracts/list.ligo rename to src/contracts/list.ligo diff --git a/contracts/loop.ligo b/src/contracts/loop.ligo similarity index 100% rename from contracts/loop.ligo rename to src/contracts/loop.ligo diff --git a/contracts/map.ligo b/src/contracts/map.ligo similarity index 100% rename from contracts/map.ligo rename to src/contracts/map.ligo diff --git a/contracts/match.ligo b/src/contracts/match.ligo similarity index 100% rename from contracts/match.ligo rename to src/contracts/match.ligo diff --git a/contracts/multiple-parameters.ligo b/src/contracts/multiple-parameters.ligo similarity index 100% rename from contracts/multiple-parameters.ligo rename to src/contracts/multiple-parameters.ligo diff --git a/contracts/new-syntax.mligo b/src/contracts/new-syntax.mligo similarity index 100% rename from contracts/new-syntax.mligo rename to src/contracts/new-syntax.mligo diff --git a/contracts/option.ligo b/src/contracts/option.ligo similarity index 100% rename from contracts/option.ligo rename to src/contracts/option.ligo diff --git a/contracts/quote-declaration.ligo b/src/contracts/quote-declaration.ligo similarity index 100% rename from contracts/quote-declaration.ligo rename to src/contracts/quote-declaration.ligo diff --git a/contracts/quote-declarations.ligo b/src/contracts/quote-declarations.ligo similarity index 100% rename from contracts/quote-declarations.ligo rename to src/contracts/quote-declarations.ligo diff --git a/contracts/record.ligo b/src/contracts/record.ligo similarity index 100% rename from contracts/record.ligo rename to src/contracts/record.ligo diff --git a/contracts/shadow.ligo b/src/contracts/shadow.ligo similarity index 100% rename from contracts/shadow.ligo rename to src/contracts/shadow.ligo diff --git a/contracts/string.ligo b/src/contracts/string.ligo similarity index 100% rename from contracts/string.ligo rename to src/contracts/string.ligo diff --git a/contracts/super-counter.ligo b/src/contracts/super-counter.ligo similarity index 100% rename from contracts/super-counter.ligo rename to src/contracts/super-counter.ligo diff --git a/contracts/toto.ligo b/src/contracts/toto.ligo similarity index 100% rename from contracts/toto.ligo rename to src/contracts/toto.ligo diff --git a/contracts/tuple.ligo b/src/contracts/tuple.ligo similarity index 100% rename from contracts/tuple.ligo rename to src/contracts/tuple.ligo diff --git a/contracts/unit.ligo b/src/contracts/unit.ligo similarity index 100% rename from contracts/unit.ligo rename to src/contracts/unit.ligo diff --git a/contracts/variant-matching.ligo b/src/contracts/variant-matching.ligo similarity index 100% rename from contracts/variant-matching.ligo rename to src/contracts/variant-matching.ligo diff --git a/contracts/variant.ligo b/src/contracts/variant.ligo similarity index 100% rename from contracts/variant.ligo rename to src/contracts/variant.ligo diff --git a/dune b/src/dune similarity index 93% rename from dune rename to src/dune index 5f4aa3ebd..19b622756 100644 --- a/dune +++ b/src/dune @@ -1,3 +1,4 @@ +(dirs (:standard \ toto)) (library (name ligo) (public_name ligo) diff --git a/dune-project b/src/dune-project similarity index 100% rename from dune-project rename to src/dune-project diff --git a/ligo.ml b/src/ligo.ml similarity index 100% rename from ligo.ml rename to src/ligo.ml diff --git a/ligo.opam b/src/ligo.opam similarity index 100% rename from ligo.opam rename to src/ligo.opam diff --git a/main/contract.ml b/src/main/contract.ml similarity index 100% rename from main/contract.ml rename to src/main/contract.ml diff --git a/main/dune b/src/main/dune similarity index 100% rename from main/dune rename to src/main/dune diff --git a/main/main.ml b/src/main/main.ml similarity index 100% rename from main/main.ml rename to src/main/main.ml diff --git a/main/run_mini_c.ml b/src/main/run_mini_c.ml similarity index 100% rename from main/run_mini_c.ml rename to src/main/run_mini_c.ml diff --git a/meta_michelson/alpha_wrap.ml b/src/meta_michelson/alpha_wrap.ml similarity index 100% rename from meta_michelson/alpha_wrap.ml rename to src/meta_michelson/alpha_wrap.ml diff --git a/meta_michelson/contract.ml b/src/meta_michelson/contract.ml similarity index 100% rename from meta_michelson/contract.ml rename to src/meta_michelson/contract.ml diff --git a/meta_michelson/dune b/src/meta_michelson/dune similarity index 100% rename from meta_michelson/dune rename to src/meta_michelson/dune diff --git a/meta_michelson/json.ml b/src/meta_michelson/json.ml similarity index 100% rename from meta_michelson/json.ml rename to src/meta_michelson/json.ml diff --git a/meta_michelson/meta_michelson.ml b/src/meta_michelson/meta_michelson.ml similarity index 100% rename from meta_michelson/meta_michelson.ml rename to src/meta_michelson/meta_michelson.ml diff --git a/meta_michelson/michelson_wrap.ml b/src/meta_michelson/michelson_wrap.ml similarity index 100% rename from meta_michelson/michelson_wrap.ml rename to src/meta_michelson/michelson_wrap.ml diff --git a/meta_michelson/misc.ml b/src/meta_michelson/misc.ml similarity index 100% rename from meta_michelson/misc.ml rename to src/meta_michelson/misc.ml diff --git a/meta_michelson/streams.ml b/src/meta_michelson/streams.ml similarity index 100% rename from meta_michelson/streams.ml rename to src/meta_michelson/streams.ml diff --git a/mini_c/PP.ml b/src/mini_c/PP.ml similarity index 100% rename from mini_c/PP.ml rename to src/mini_c/PP.ml diff --git a/mini_c/combinators.ml b/src/mini_c/combinators.ml similarity index 100% rename from mini_c/combinators.ml rename to src/mini_c/combinators.ml diff --git a/mini_c/combinators_smart.ml b/src/mini_c/combinators_smart.ml similarity index 100% rename from mini_c/combinators_smart.ml rename to src/mini_c/combinators_smart.ml diff --git a/mini_c/dune b/src/mini_c/dune similarity index 100% rename from mini_c/dune rename to src/mini_c/dune diff --git a/mini_c/environment.ml b/src/mini_c/environment.ml similarity index 100% rename from mini_c/environment.ml rename to src/mini_c/environment.ml diff --git a/mini_c/mini_c.ml b/src/mini_c/mini_c.ml similarity index 100% rename from mini_c/mini_c.ml rename to src/mini_c/mini_c.ml diff --git a/mini_c/types.ml b/src/mini_c/types.ml similarity index 100% rename from mini_c/types.ml rename to src/mini_c/types.ml diff --git a/operators/dune b/src/operators/dune similarity index 100% rename from operators/dune rename to src/operators/dune diff --git a/operators/operators.ml b/src/operators/operators.ml similarity index 100% rename from operators/operators.ml rename to src/operators/operators.ml diff --git a/parser/camligo/.gitignore b/src/parser/camligo/.gitignore similarity index 100% rename from parser/camligo/.gitignore rename to src/parser/camligo/.gitignore diff --git a/parser/camligo/ast.ml b/src/parser/camligo/ast.ml similarity index 100% rename from parser/camligo/ast.ml rename to src/parser/camligo/ast.ml diff --git a/parser/camligo/dune b/src/parser/camligo/dune similarity index 100% rename from parser/camligo/dune rename to src/parser/camligo/dune diff --git a/parser/camligo/generator.ml b/src/parser/camligo/generator.ml similarity index 100% rename from parser/camligo/generator.ml rename to src/parser/camligo/generator.ml diff --git a/parser/camligo/lex/dune b/src/parser/camligo/lex/dune similarity index 100% rename from parser/camligo/lex/dune rename to src/parser/camligo/lex/dune diff --git a/parser/camligo/lex/generator.ml b/src/parser/camligo/lex/generator.ml similarity index 100% rename from parser/camligo/lex/generator.ml rename to src/parser/camligo/lex/generator.ml diff --git a/parser/camligo/location.ml b/src/parser/camligo/location.ml similarity index 100% rename from parser/camligo/location.ml rename to src/parser/camligo/location.ml diff --git a/parser/camligo/parser_camligo.ml b/src/parser/camligo/parser_camligo.ml similarity index 100% rename from parser/camligo/parser_camligo.ml rename to src/parser/camligo/parser_camligo.ml diff --git a/parser/camligo/pre_parser.mly b/src/parser/camligo/pre_parser.mly similarity index 100% rename from parser/camligo/pre_parser.mly rename to src/parser/camligo/pre_parser.mly diff --git a/parser/camligo/user.ml b/src/parser/camligo/user.ml similarity index 100% rename from parser/camligo/user.ml rename to src/parser/camligo/user.ml diff --git a/parser/dune b/src/parser/dune similarity index 100% rename from parser/dune rename to src/parser/dune diff --git a/parser/parser.ml b/src/parser/parser.ml similarity index 100% rename from parser/parser.ml rename to src/parser/parser.ml diff --git a/parser/pascaligo/.Lexer.ml.tag b/src/parser/pascaligo/.Lexer.ml.tag similarity index 100% rename from parser/pascaligo/.Lexer.ml.tag rename to src/parser/pascaligo/.Lexer.ml.tag diff --git a/parser/pascaligo/.LexerMain.tag b/src/parser/pascaligo/.LexerMain.tag similarity index 100% rename from parser/pascaligo/.LexerMain.tag rename to src/parser/pascaligo/.LexerMain.tag diff --git a/parser/pascaligo/.Parser.mly.tag b/src/parser/pascaligo/.Parser.mly.tag similarity index 100% rename from parser/pascaligo/.Parser.mly.tag rename to src/parser/pascaligo/.Parser.mly.tag diff --git a/parser/pascaligo/.ParserMain.tag b/src/parser/pascaligo/.ParserMain.tag similarity index 100% rename from parser/pascaligo/.ParserMain.tag rename to src/parser/pascaligo/.ParserMain.tag diff --git a/parser/pascaligo/.gitignore b/src/parser/pascaligo/.gitignore similarity index 100% rename from parser/pascaligo/.gitignore rename to src/parser/pascaligo/.gitignore diff --git a/parser/pascaligo/.gitlab-ci.yml b/src/parser/pascaligo/.gitlab-ci.yml similarity index 100% rename from parser/pascaligo/.gitlab-ci.yml rename to src/parser/pascaligo/.gitlab-ci.yml diff --git a/parser/pascaligo/.links b/src/parser/pascaligo/.links similarity index 100% rename from parser/pascaligo/.links rename to src/parser/pascaligo/.links diff --git a/parser/pascaligo/AST.ml b/src/parser/pascaligo/AST.ml similarity index 100% rename from parser/pascaligo/AST.ml rename to src/parser/pascaligo/AST.ml diff --git a/parser/pascaligo/AST.mli b/src/parser/pascaligo/AST.mli similarity index 100% rename from parser/pascaligo/AST.mli rename to src/parser/pascaligo/AST.mli diff --git a/parser/pascaligo/Error.mli b/src/parser/pascaligo/Error.mli similarity index 100% rename from parser/pascaligo/Error.mli rename to src/parser/pascaligo/Error.mli diff --git a/parser/pascaligo/EvalOpt.ml b/src/parser/pascaligo/EvalOpt.ml similarity index 100% rename from parser/pascaligo/EvalOpt.ml rename to src/parser/pascaligo/EvalOpt.ml diff --git a/parser/pascaligo/EvalOpt.mli b/src/parser/pascaligo/EvalOpt.mli similarity index 100% rename from parser/pascaligo/EvalOpt.mli rename to src/parser/pascaligo/EvalOpt.mli diff --git a/parser/pascaligo/FQueue.ml b/src/parser/pascaligo/FQueue.ml similarity index 100% rename from parser/pascaligo/FQueue.ml rename to src/parser/pascaligo/FQueue.ml diff --git a/parser/pascaligo/FQueue.mli b/src/parser/pascaligo/FQueue.mli similarity index 100% rename from parser/pascaligo/FQueue.mli rename to src/parser/pascaligo/FQueue.mli diff --git a/parser/pascaligo/LexToken.mli b/src/parser/pascaligo/LexToken.mli similarity index 100% rename from parser/pascaligo/LexToken.mli rename to src/parser/pascaligo/LexToken.mli diff --git a/parser/pascaligo/LexToken.mll b/src/parser/pascaligo/LexToken.mll similarity index 100% rename from parser/pascaligo/LexToken.mll rename to src/parser/pascaligo/LexToken.mll diff --git a/parser/pascaligo/Lexer.mli b/src/parser/pascaligo/Lexer.mli similarity index 100% rename from parser/pascaligo/Lexer.mli rename to src/parser/pascaligo/Lexer.mli diff --git a/parser/pascaligo/Lexer.mll b/src/parser/pascaligo/Lexer.mll similarity index 100% rename from parser/pascaligo/Lexer.mll rename to src/parser/pascaligo/Lexer.mll diff --git a/parser/pascaligo/LexerLog.ml b/src/parser/pascaligo/LexerLog.ml similarity index 100% rename from parser/pascaligo/LexerLog.ml rename to src/parser/pascaligo/LexerLog.ml diff --git a/parser/pascaligo/LexerLog.mli b/src/parser/pascaligo/LexerLog.mli similarity index 100% rename from parser/pascaligo/LexerLog.mli rename to src/parser/pascaligo/LexerLog.mli diff --git a/parser/pascaligo/LexerMain.ml b/src/parser/pascaligo/LexerMain.ml similarity index 100% rename from parser/pascaligo/LexerMain.ml rename to src/parser/pascaligo/LexerMain.ml diff --git a/parser/pascaligo/Markup.ml b/src/parser/pascaligo/Markup.ml similarity index 100% rename from parser/pascaligo/Markup.ml rename to src/parser/pascaligo/Markup.ml diff --git a/parser/pascaligo/Markup.mli b/src/parser/pascaligo/Markup.mli similarity index 100% rename from parser/pascaligo/Markup.mli rename to src/parser/pascaligo/Markup.mli diff --git a/parser/pascaligo/ParToken.mly b/src/parser/pascaligo/ParToken.mly similarity index 100% rename from parser/pascaligo/ParToken.mly rename to src/parser/pascaligo/ParToken.mly diff --git a/parser/pascaligo/Parser.mly b/src/parser/pascaligo/Parser.mly similarity index 100% rename from parser/pascaligo/Parser.mly rename to src/parser/pascaligo/Parser.mly diff --git a/parser/pascaligo/ParserLog.ml b/src/parser/pascaligo/ParserLog.ml similarity index 100% rename from parser/pascaligo/ParserLog.ml rename to src/parser/pascaligo/ParserLog.ml diff --git a/parser/pascaligo/ParserLog.mli b/src/parser/pascaligo/ParserLog.mli similarity index 100% rename from parser/pascaligo/ParserLog.mli rename to src/parser/pascaligo/ParserLog.mli diff --git a/parser/pascaligo/ParserMain.ml b/src/parser/pascaligo/ParserMain.ml similarity index 100% rename from parser/pascaligo/ParserMain.ml rename to src/parser/pascaligo/ParserMain.ml diff --git a/parser/pascaligo/Stubs/Tezos_utils.ml b/src/parser/pascaligo/Stubs/Tezos_utils.ml similarity index 100% rename from parser/pascaligo/Stubs/Tezos_utils.ml rename to src/parser/pascaligo/Stubs/Tezos_utils.ml diff --git a/parser/pascaligo/Tests/a.ligo b/src/parser/pascaligo/Tests/a.ligo similarity index 100% rename from parser/pascaligo/Tests/a.ligo rename to src/parser/pascaligo/Tests/a.ligo diff --git a/parser/pascaligo/Tests/crowdfunding.ligo b/src/parser/pascaligo/Tests/crowdfunding.ligo similarity index 100% rename from parser/pascaligo/Tests/crowdfunding.ligo rename to src/parser/pascaligo/Tests/crowdfunding.ligo diff --git a/parser/pascaligo/Utils.ml b/src/parser/pascaligo/Utils.ml similarity index 100% rename from parser/pascaligo/Utils.ml rename to src/parser/pascaligo/Utils.ml diff --git a/parser/pascaligo/Utils.mli b/src/parser/pascaligo/Utils.mli similarity index 100% rename from parser/pascaligo/Utils.mli rename to src/parser/pascaligo/Utils.mli diff --git a/parser/pascaligo/check_dot_git_is_dir.sh b/src/parser/pascaligo/check_dot_git_is_dir.sh similarity index 100% rename from parser/pascaligo/check_dot_git_is_dir.sh rename to src/parser/pascaligo/check_dot_git_is_dir.sh diff --git a/parser/pascaligo/dune b/src/parser/pascaligo/dune similarity index 100% rename from parser/pascaligo/dune rename to src/parser/pascaligo/dune diff --git a/parser/pascaligo/pascaligo.ml b/src/parser/pascaligo/pascaligo.ml similarity index 100% rename from parser/pascaligo/pascaligo.ml rename to src/parser/pascaligo/pascaligo.ml diff --git a/rope/rope.ml b/src/rope/rope.ml similarity index 100% rename from rope/rope.ml rename to src/rope/rope.ml diff --git a/rope/rope.mli b/src/rope/rope.mli similarity index 100% rename from rope/rope.mli rename to src/rope/rope.mli diff --git a/rope/rope_implementation.ml b/src/rope/rope_implementation.ml similarity index 100% rename from rope/rope_implementation.ml rename to src/rope/rope_implementation.ml diff --git a/rope/rope_implementation.mli b/src/rope/rope_implementation.mli similarity index 100% rename from rope/rope_implementation.mli rename to src/rope/rope_implementation.mli diff --git a/rope/rope_test.ml b/src/rope/rope_test.ml similarity index 100% rename from rope/rope_test.ml rename to src/rope/rope_test.ml diff --git a/rope/rope_top_level_open.ml b/src/rope/rope_top_level_open.ml similarity index 100% rename from rope/rope_top_level_open.ml rename to src/rope/rope_top_level_open.ml diff --git a/rope/rope_top_level_open.mli b/src/rope/rope_top_level_open.mli similarity index 100% rename from rope/rope_top_level_open.mli rename to src/rope/rope_top_level_open.mli diff --git a/simplify/camligo.ml b/src/simplify/camligo.ml similarity index 100% rename from simplify/camligo.ml rename to src/simplify/camligo.ml diff --git a/simplify/dune b/src/simplify/dune similarity index 100% rename from simplify/dune rename to src/simplify/dune diff --git a/simplify/pascaligo.ml b/src/simplify/pascaligo.ml similarity index 100% rename from simplify/pascaligo.ml rename to src/simplify/pascaligo.ml diff --git a/simplify/simplify.ml b/src/simplify/simplify.ml similarity index 100% rename from simplify/simplify.ml rename to src/simplify/simplify.ml diff --git a/test/bin_tests.ml b/src/test/bin_tests.ml similarity index 100% rename from test/bin_tests.ml rename to src/test/bin_tests.ml diff --git a/test/coase_tests.ml b/src/test/coase_tests.ml similarity index 100% rename from test/coase_tests.ml rename to src/test/coase_tests.ml diff --git a/test/compiler_tests.ml b/src/test/compiler_tests.ml similarity index 100% rename from test/compiler_tests.ml rename to src/test/compiler_tests.ml diff --git a/test/dune b/src/test/dune similarity index 100% rename from test/dune rename to src/test/dune diff --git a/test/dune-project b/src/test/dune-project similarity index 100% rename from test/dune-project rename to src/test/dune-project diff --git a/test/heap_tests.ml b/src/test/heap_tests.ml similarity index 100% rename from test/heap_tests.ml rename to src/test/heap_tests.ml diff --git a/test/integration_tests.ml b/src/test/integration_tests.ml similarity index 100% rename from test/integration_tests.ml rename to src/test/integration_tests.ml diff --git a/test/multifix_tests.ml b/src/test/multifix_tests.ml similarity index 100% rename from test/multifix_tests.ml rename to src/test/multifix_tests.ml diff --git a/test/test.ml b/src/test/test.ml similarity index 100% rename from test/test.ml rename to src/test/test.ml diff --git a/test/test_helpers.ml b/src/test/test_helpers.ml similarity index 100% rename from test/test_helpers.ml rename to src/test/test_helpers.ml diff --git a/test/transpiler_tests.ml b/src/test/transpiler_tests.ml similarity index 100% rename from test/transpiler_tests.ml rename to src/test/transpiler_tests.ml diff --git a/test/typer_tests.ml b/src/test/typer_tests.ml similarity index 100% rename from test/typer_tests.ml rename to src/test/typer_tests.ml diff --git a/transpiler/dune b/src/transpiler/dune similarity index 100% rename from transpiler/dune rename to src/transpiler/dune diff --git a/transpiler/transpiler.ml b/src/transpiler/transpiler.ml similarity index 100% rename from transpiler/transpiler.ml rename to src/transpiler/transpiler.ml diff --git a/typer/dune b/src/typer/dune similarity index 100% rename from typer/dune rename to src/typer/dune diff --git a/typer/typer.ml b/src/typer/typer.ml similarity index 100% rename from typer/typer.ml rename to src/typer/typer.ml diff --git a/vendors/ligo-opam-repository b/vendors/ligo-opam-repository new file mode 160000 index 000000000..d1cc80553 --- /dev/null +++ b/vendors/ligo-opam-repository @@ -0,0 +1 @@ +Subproject commit d1cc80553b371e2c9d7113ed07942ef7e0e63425 diff --git a/vendors/ligo-utils b/vendors/ligo-utils new file mode 160000 index 000000000..a47a19cd9 --- /dev/null +++ b/vendors/ligo-utils @@ -0,0 +1 @@ +Subproject commit a47a19cd97deff3dc9c355f5f689e63ceb77a334 diff --git a/vendors/tezos-modded b/vendors/tezos-modded new file mode 160000 index 000000000..378e4a590 --- /dev/null +++ b/vendors/tezos-modded @@ -0,0 +1 @@ +Subproject commit 378e4a590407517482952984571fba2e52962900