From c43570a82d7891870b114e6a6aff81eefb09a009 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Tue, 14 May 2019 16:37:29 +0200 Subject: [PATCH] Move into src/; add vendors/ subfolder, add CI script. --- .gitlab-ci.yml | 50 +++++++++++++++++++ .gitmodules | 9 ++++ .gitignore => src/.gitignore | 0 README_INSTALL => src/README_INSTALL | 0 TODO.txt => src/TODO.txt | 0 {ast_simplified => src/ast_simplified}/PP.ml | 0 .../ast_simplified}/ast_simplified.ml | 0 .../ast_simplified}/combinators.ml | 0 {ast_simplified => src/ast_simplified}/dune | 0 .../ast_simplified}/misc.ml | 0 .../ast_simplified}/types.ml | 0 {ast_typed => src/ast_typed}/PP.ml | 0 {ast_typed => src/ast_typed}/ast_typed.ml | 0 {ast_typed => src/ast_typed}/combinators.ml | 0 .../ast_typed}/combinators_environment.ml | 0 {ast_typed => src/ast_typed}/dune | 0 {ast_typed => src/ast_typed}/environment.ml | 0 {ast_typed => src/ast_typed}/misc.ml | 0 {ast_typed => src/ast_typed}/types.ml | 0 {bin => src/bin}/cli.ml | 0 {bin => src/bin}/dune | 0 {compiler => src/compiler}/compiler.ml | 0 .../compiler}/compiler_environment.ml | 0 .../compiler}/compiler_program.ml | 0 {compiler => src/compiler}/compiler_type.ml | 0 {compiler => src/compiler}/dune | 0 {compiler => src/compiler}/uncompiler.ml | 0 {contracts => src/contracts}/annotation.ligo | 0 {contracts => src/contracts}/arithmetic.ligo | 0 {contracts => src/contracts}/basic.mligo | 0 .../contracts}/boolean_operators.ligo | 0 {contracts => src/contracts}/closure.ligo | 0 {contracts => src/contracts}/coase.ligo | 0 {contracts => src/contracts}/condition.ligo | 0 {contracts => src/contracts}/counter.ligo | 0 {contracts => src/contracts}/counter.mligo | 0 .../contracts}/declarations.ligo | 0 .../contracts}/dispatch-counter.ligo | 0 .../contracts}/function-complex.ligo | 0 .../contracts}/function-shared.ligo | 0 {contracts => src/contracts}/function.ligo | 0 .../contracts}/heap-instance.ligo | 0 {contracts => src/contracts}/heap.ligo | 0 {contracts => src/contracts}/high-order.ligo | 0 {contracts => src/contracts}/included.ligo | 0 {contracts => src/contracts}/includer.ligo | 0 {contracts => src/contracts}/list.ligo | 0 {contracts => src/contracts}/loop.ligo | 0 {contracts => src/contracts}/map.ligo | 0 {contracts => src/contracts}/match.ligo | 0 .../contracts}/multiple-parameters.ligo | 0 {contracts => src/contracts}/new-syntax.mligo | 0 {contracts => src/contracts}/option.ligo | 0 .../contracts}/quote-declaration.ligo | 0 .../contracts}/quote-declarations.ligo | 0 {contracts => src/contracts}/record.ligo | 0 {contracts => src/contracts}/shadow.ligo | 0 {contracts => src/contracts}/string.ligo | 0 .../contracts}/super-counter.ligo | 0 {contracts => src/contracts}/toto.ligo | 0 {contracts => src/contracts}/tuple.ligo | 0 {contracts => src/contracts}/unit.ligo | 0 .../contracts}/variant-matching.ligo | 0 {contracts => src/contracts}/variant.ligo | 0 dune => src/dune | 1 + dune-project => src/dune-project | 0 ligo.ml => src/ligo.ml | 0 ligo.opam => src/ligo.opam | 0 {main => src/main}/contract.ml | 0 {main => src/main}/dune | 0 {main => src/main}/main.ml | 0 {main => src/main}/run_mini_c.ml | 0 .../meta_michelson}/alpha_wrap.ml | 0 .../meta_michelson}/contract.ml | 0 {meta_michelson => src/meta_michelson}/dune | 0 .../meta_michelson}/json.ml | 0 .../meta_michelson}/meta_michelson.ml | 0 .../meta_michelson}/michelson_wrap.ml | 0 .../meta_michelson}/misc.ml | 0 .../meta_michelson}/streams.ml | 0 {mini_c => src/mini_c}/PP.ml | 0 {mini_c => src/mini_c}/combinators.ml | 0 {mini_c => src/mini_c}/combinators_smart.ml | 0 {mini_c => src/mini_c}/dune | 0 {mini_c => src/mini_c}/environment.ml | 0 {mini_c => src/mini_c}/mini_c.ml | 0 {mini_c => src/mini_c}/types.ml | 0 {operators => src/operators}/dune | 0 {operators => src/operators}/operators.ml | 0 {parser => src/parser}/camligo/.gitignore | 0 {parser => src/parser}/camligo/ast.ml | 0 {parser => src/parser}/camligo/dune | 0 {parser => src/parser}/camligo/generator.ml | 0 {parser => src/parser}/camligo/lex/dune | 0 .../parser}/camligo/lex/generator.ml | 0 {parser => src/parser}/camligo/location.ml | 0 .../parser}/camligo/parser_camligo.ml | 0 {parser => src/parser}/camligo/pre_parser.mly | 0 {parser => src/parser}/camligo/user.ml | 0 {parser => src/parser}/dune | 0 {parser => src/parser}/parser.ml | 0 .../parser}/pascaligo/.Lexer.ml.tag | 0 .../parser}/pascaligo/.LexerMain.tag | 0 .../parser}/pascaligo/.Parser.mly.tag | 0 .../parser}/pascaligo/.ParserMain.tag | 0 {parser => src/parser}/pascaligo/.gitignore | 0 .../parser}/pascaligo/.gitlab-ci.yml | 0 {parser => src/parser}/pascaligo/.links | 0 {parser => src/parser}/pascaligo/AST.ml | 0 {parser => src/parser}/pascaligo/AST.mli | 0 {parser => src/parser}/pascaligo/Error.mli | 0 {parser => src/parser}/pascaligo/EvalOpt.ml | 0 {parser => src/parser}/pascaligo/EvalOpt.mli | 0 {parser => src/parser}/pascaligo/FQueue.ml | 0 {parser => src/parser}/pascaligo/FQueue.mli | 0 {parser => src/parser}/pascaligo/LexToken.mli | 0 {parser => src/parser}/pascaligo/LexToken.mll | 0 {parser => src/parser}/pascaligo/Lexer.mli | 0 {parser => src/parser}/pascaligo/Lexer.mll | 0 {parser => src/parser}/pascaligo/LexerLog.ml | 0 {parser => src/parser}/pascaligo/LexerLog.mli | 0 {parser => src/parser}/pascaligo/LexerMain.ml | 0 {parser => src/parser}/pascaligo/Markup.ml | 0 {parser => src/parser}/pascaligo/Markup.mli | 0 {parser => src/parser}/pascaligo/ParToken.mly | 0 {parser => src/parser}/pascaligo/Parser.mly | 0 {parser => src/parser}/pascaligo/ParserLog.ml | 0 .../parser}/pascaligo/ParserLog.mli | 0 .../parser}/pascaligo/ParserMain.ml | 0 .../parser}/pascaligo/Stubs/Tezos_utils.ml | 0 {parser => src/parser}/pascaligo/Tests/a.ligo | 0 .../parser}/pascaligo/Tests/crowdfunding.ligo | 0 {parser => src/parser}/pascaligo/Utils.ml | 0 {parser => src/parser}/pascaligo/Utils.mli | 0 .../parser}/pascaligo/check_dot_git_is_dir.sh | 0 {parser => src/parser}/pascaligo/dune | 0 {parser => src/parser}/pascaligo/pascaligo.ml | 0 {rope => src/rope}/rope.ml | 0 {rope => src/rope}/rope.mli | 0 {rope => src/rope}/rope_implementation.ml | 0 {rope => src/rope}/rope_implementation.mli | 0 {rope => src/rope}/rope_test.ml | 0 {rope => src/rope}/rope_top_level_open.ml | 0 {rope => src/rope}/rope_top_level_open.mli | 0 {simplify => src/simplify}/camligo.ml | 0 {simplify => src/simplify}/dune | 0 {simplify => src/simplify}/pascaligo.ml | 0 {simplify => src/simplify}/simplify.ml | 0 {test => src/test}/bin_tests.ml | 0 {test => src/test}/coase_tests.ml | 0 {test => src/test}/compiler_tests.ml | 0 {test => src/test}/dune | 0 {test => src/test}/dune-project | 0 {test => src/test}/heap_tests.ml | 0 {test => src/test}/integration_tests.ml | 0 {test => src/test}/multifix_tests.ml | 0 {test => src/test}/test.ml | 0 {test => src/test}/test_helpers.ml | 0 {test => src/test}/transpiler_tests.ml | 0 {test => src/test}/typer_tests.ml | 0 {transpiler => src/transpiler}/dune | 0 {transpiler => src/transpiler}/transpiler.ml | 0 {typer => src/typer}/dune | 0 {typer => src/typer}/typer.ml | 0 vendors/ligo-opam-repository | 1 + vendors/ligo-utils | 1 + vendors/tezos-modded | 1 + 167 files changed, 63 insertions(+) create mode 100644 .gitlab-ci.yml create mode 100644 .gitmodules rename .gitignore => src/.gitignore (100%) rename README_INSTALL => src/README_INSTALL (100%) rename TODO.txt => src/TODO.txt (100%) rename {ast_simplified => src/ast_simplified}/PP.ml (100%) rename {ast_simplified => src/ast_simplified}/ast_simplified.ml (100%) rename {ast_simplified => src/ast_simplified}/combinators.ml (100%) rename {ast_simplified => src/ast_simplified}/dune (100%) rename {ast_simplified => src/ast_simplified}/misc.ml (100%) rename {ast_simplified => src/ast_simplified}/types.ml (100%) rename {ast_typed => src/ast_typed}/PP.ml (100%) rename {ast_typed => src/ast_typed}/ast_typed.ml (100%) rename {ast_typed => src/ast_typed}/combinators.ml (100%) rename {ast_typed => src/ast_typed}/combinators_environment.ml (100%) rename {ast_typed => src/ast_typed}/dune (100%) rename {ast_typed => src/ast_typed}/environment.ml (100%) rename {ast_typed => src/ast_typed}/misc.ml (100%) rename {ast_typed => src/ast_typed}/types.ml (100%) rename {bin => src/bin}/cli.ml (100%) rename {bin => src/bin}/dune (100%) rename {compiler => src/compiler}/compiler.ml (100%) rename {compiler => src/compiler}/compiler_environment.ml (100%) rename {compiler => src/compiler}/compiler_program.ml (100%) rename {compiler => src/compiler}/compiler_type.ml (100%) rename {compiler => src/compiler}/dune (100%) rename {compiler => src/compiler}/uncompiler.ml (100%) rename {contracts => src/contracts}/annotation.ligo (100%) rename {contracts => src/contracts}/arithmetic.ligo (100%) rename {contracts => src/contracts}/basic.mligo (100%) rename {contracts => src/contracts}/boolean_operators.ligo (100%) rename {contracts => src/contracts}/closure.ligo (100%) rename {contracts => src/contracts}/coase.ligo (100%) rename {contracts => src/contracts}/condition.ligo (100%) rename {contracts => src/contracts}/counter.ligo (100%) rename {contracts => src/contracts}/counter.mligo (100%) rename {contracts => src/contracts}/declarations.ligo (100%) rename {contracts => src/contracts}/dispatch-counter.ligo (100%) rename {contracts => src/contracts}/function-complex.ligo (100%) rename {contracts => src/contracts}/function-shared.ligo (100%) rename {contracts => src/contracts}/function.ligo (100%) rename {contracts => src/contracts}/heap-instance.ligo (100%) rename {contracts => src/contracts}/heap.ligo (100%) rename {contracts => src/contracts}/high-order.ligo (100%) rename {contracts => src/contracts}/included.ligo (100%) rename {contracts => src/contracts}/includer.ligo (100%) rename {contracts => src/contracts}/list.ligo (100%) rename {contracts => src/contracts}/loop.ligo (100%) rename {contracts => src/contracts}/map.ligo (100%) rename {contracts => src/contracts}/match.ligo (100%) rename {contracts => src/contracts}/multiple-parameters.ligo (100%) rename {contracts => src/contracts}/new-syntax.mligo (100%) rename {contracts => src/contracts}/option.ligo (100%) rename {contracts => src/contracts}/quote-declaration.ligo (100%) rename {contracts => src/contracts}/quote-declarations.ligo (100%) rename {contracts => src/contracts}/record.ligo (100%) rename {contracts => src/contracts}/shadow.ligo (100%) rename {contracts => src/contracts}/string.ligo (100%) rename {contracts => src/contracts}/super-counter.ligo (100%) rename {contracts => src/contracts}/toto.ligo (100%) rename {contracts => src/contracts}/tuple.ligo (100%) rename {contracts => src/contracts}/unit.ligo (100%) rename {contracts => src/contracts}/variant-matching.ligo (100%) rename {contracts => src/contracts}/variant.ligo (100%) rename dune => src/dune (93%) rename dune-project => src/dune-project (100%) rename ligo.ml => src/ligo.ml (100%) rename ligo.opam => src/ligo.opam (100%) rename {main => src/main}/contract.ml (100%) rename {main => src/main}/dune (100%) rename {main => src/main}/main.ml (100%) rename {main => src/main}/run_mini_c.ml (100%) rename {meta_michelson => src/meta_michelson}/alpha_wrap.ml (100%) rename {meta_michelson => src/meta_michelson}/contract.ml (100%) rename {meta_michelson => src/meta_michelson}/dune (100%) rename {meta_michelson => src/meta_michelson}/json.ml (100%) rename {meta_michelson => src/meta_michelson}/meta_michelson.ml (100%) rename {meta_michelson => src/meta_michelson}/michelson_wrap.ml (100%) rename {meta_michelson => src/meta_michelson}/misc.ml (100%) rename {meta_michelson => src/meta_michelson}/streams.ml (100%) rename {mini_c => src/mini_c}/PP.ml (100%) rename {mini_c => src/mini_c}/combinators.ml (100%) rename {mini_c => src/mini_c}/combinators_smart.ml (100%) rename {mini_c => src/mini_c}/dune (100%) rename {mini_c => src/mini_c}/environment.ml (100%) rename {mini_c => src/mini_c}/mini_c.ml (100%) rename {mini_c => src/mini_c}/types.ml (100%) rename {operators => src/operators}/dune (100%) rename {operators => src/operators}/operators.ml (100%) rename {parser => src/parser}/camligo/.gitignore (100%) rename {parser => src/parser}/camligo/ast.ml (100%) rename {parser => src/parser}/camligo/dune (100%) rename {parser => src/parser}/camligo/generator.ml (100%) rename {parser => src/parser}/camligo/lex/dune (100%) rename {parser => src/parser}/camligo/lex/generator.ml (100%) rename {parser => src/parser}/camligo/location.ml (100%) rename {parser => src/parser}/camligo/parser_camligo.ml (100%) rename {parser => src/parser}/camligo/pre_parser.mly (100%) rename {parser => src/parser}/camligo/user.ml (100%) rename {parser => src/parser}/dune (100%) rename {parser => src/parser}/parser.ml (100%) rename {parser => src/parser}/pascaligo/.Lexer.ml.tag (100%) rename {parser => src/parser}/pascaligo/.LexerMain.tag (100%) rename {parser => src/parser}/pascaligo/.Parser.mly.tag (100%) rename {parser => src/parser}/pascaligo/.ParserMain.tag (100%) rename {parser => src/parser}/pascaligo/.gitignore (100%) rename {parser => src/parser}/pascaligo/.gitlab-ci.yml (100%) rename {parser => src/parser}/pascaligo/.links (100%) rename {parser => src/parser}/pascaligo/AST.ml (100%) rename {parser => src/parser}/pascaligo/AST.mli (100%) rename {parser => src/parser}/pascaligo/Error.mli (100%) rename {parser => src/parser}/pascaligo/EvalOpt.ml (100%) rename {parser => src/parser}/pascaligo/EvalOpt.mli (100%) rename {parser => src/parser}/pascaligo/FQueue.ml (100%) rename {parser => src/parser}/pascaligo/FQueue.mli (100%) rename {parser => src/parser}/pascaligo/LexToken.mli (100%) rename {parser => src/parser}/pascaligo/LexToken.mll (100%) rename {parser => src/parser}/pascaligo/Lexer.mli (100%) rename {parser => src/parser}/pascaligo/Lexer.mll (100%) rename {parser => src/parser}/pascaligo/LexerLog.ml (100%) rename {parser => src/parser}/pascaligo/LexerLog.mli (100%) rename {parser => src/parser}/pascaligo/LexerMain.ml (100%) rename {parser => src/parser}/pascaligo/Markup.ml (100%) rename {parser => src/parser}/pascaligo/Markup.mli (100%) rename {parser => src/parser}/pascaligo/ParToken.mly (100%) rename {parser => src/parser}/pascaligo/Parser.mly (100%) rename {parser => src/parser}/pascaligo/ParserLog.ml (100%) rename {parser => src/parser}/pascaligo/ParserLog.mli (100%) rename {parser => src/parser}/pascaligo/ParserMain.ml (100%) rename {parser => src/parser}/pascaligo/Stubs/Tezos_utils.ml (100%) rename {parser => src/parser}/pascaligo/Tests/a.ligo (100%) rename {parser => src/parser}/pascaligo/Tests/crowdfunding.ligo (100%) rename {parser => src/parser}/pascaligo/Utils.ml (100%) rename {parser => src/parser}/pascaligo/Utils.mli (100%) rename {parser => src/parser}/pascaligo/check_dot_git_is_dir.sh (100%) rename {parser => src/parser}/pascaligo/dune (100%) rename {parser => src/parser}/pascaligo/pascaligo.ml (100%) rename {rope => src/rope}/rope.ml (100%) rename {rope => src/rope}/rope.mli (100%) rename {rope => src/rope}/rope_implementation.ml (100%) rename {rope => src/rope}/rope_implementation.mli (100%) rename {rope => src/rope}/rope_test.ml (100%) rename {rope => src/rope}/rope_top_level_open.ml (100%) rename {rope => src/rope}/rope_top_level_open.mli (100%) rename {simplify => src/simplify}/camligo.ml (100%) rename {simplify => src/simplify}/dune (100%) rename {simplify => src/simplify}/pascaligo.ml (100%) rename {simplify => src/simplify}/simplify.ml (100%) rename {test => src/test}/bin_tests.ml (100%) rename {test => src/test}/coase_tests.ml (100%) rename {test => src/test}/compiler_tests.ml (100%) rename {test => src/test}/dune (100%) rename {test => src/test}/dune-project (100%) rename {test => src/test}/heap_tests.ml (100%) rename {test => src/test}/integration_tests.ml (100%) rename {test => src/test}/multifix_tests.ml (100%) rename {test => src/test}/test.ml (100%) rename {test => src/test}/test_helpers.ml (100%) rename {test => src/test}/transpiler_tests.ml (100%) rename {test => src/test}/typer_tests.ml (100%) rename {transpiler => src/transpiler}/dune (100%) rename {transpiler => src/transpiler}/transpiler.ml (100%) rename {typer => src/typer}/dune (100%) rename {typer => src/typer}/typer.ml (100%) create mode 160000 vendors/ligo-opam-repository create mode 160000 vendors/ligo-utils create mode 160000 vendors/tezos-modded 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