Skip to content

[#1997] Build system driver #13

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 24 commits into
base: stable
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
666c059
[#1997] Use Core instead Stdlib in BuildSystem
krendelhoff2 Sep 27, 2024
4cf3d5f
[#1997] Add original module name field
krendelhoff2 Sep 27, 2024
92c32b2
[#1997] Add locations for deps
krendelhoff2 Oct 28, 2024
b96d7a6
[#1997] Move ligo_dep to build package
krendelhoff2 Oct 25, 2024
a5ab2a2
[#1997] Improve ligo dep jsligo
krendelhoff2 Dec 9, 2024
c53b996
[#1997] Add cmi and cmo identification functions
krendelhoff2 Oct 28, 2024
ce620a8
[#1997] Make cmi and cmo store relative paths
krendelhoff2 Oct 28, 2024
7e61214
[#1997] Document cmo and cmi modules
krendelhoff2 Oct 29, 2024
06cea57
[#1997] Update BuildSystem interface
krendelhoff2 Sep 27, 2024
7fbbbf0
[#1997] Update build system impl
krendelhoff2 Sep 27, 2024
8f340a3
[#1997] Add ligo-dep print subcommand
krendelhoff2 Nov 19, 2024
c0476b6
[#1997] Support mod paths -> filepaths in ligo dep
krendelhoff2 Nov 19, 2024
0179955
[#1997] Allow import selected to be empty
krendelhoff2 Nov 30, 2024
df0a54e
[#1997] Support libraries paths for deps resolve
krendelhoff2 Dec 1, 2024
cb2a243
[#1997] Update build system tests
krendelhoff2 Oct 25, 2024
eb209ac
[#1997] Add ligo_dep tests
krendelhoff2 Nov 13, 2024
fb1f871
[#1997] Make lsp tests pass
krendelhoff2 Nov 13, 2024
e454b7d
[#1997] Make repl tests pass
krendelhoff2 Nov 14, 2024
aee97d6
[#1997] Comment out registry-related tests
krendelhoff2 Nov 24, 2024
8793322
[#1997] Make analytics tests pass
krendelhoff2 Nov 24, 2024
1b115a8
[#1997] Make doc-tests pass
krendelhoff2 Nov 30, 2024
a6ee8ea
[#1997] Make expect_tests pass
krendelhoff2 Nov 30, 2024
e6f3520
[#1997] Document Build module
krendelhoff2 Dec 9, 2024
f78b2c2
[#1997] Make #import directive ignored
krendelhoff2 Dec 10, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions gitlab-pages/docs/language-basics/modules.md
Original file line number Diff line number Diff line change
Expand Up @@ -275,7 +275,7 @@ that imports all definitions from `imported.mligo` as the module
`EURO`:

```cameligo group=importer
#import "gitlab-pages/docs/language-basics/src/modules/imported.mligo" "EURO"
module EURO = Gitlab_pages.Docs.Language_basics.Src.Modules.Imported

type storage = EURO.t

Expand All @@ -294,7 +294,7 @@ that imports all definitions from `imported.jsligo` as the module
`EURO`:

```jsligo group=importer
#import "gitlab-pages/docs/language-basics/src/modules/imported.jsligo" "EURO"
import * as EURO from "gitlab-pages/docs/language-basics/src/modules/imported.jsligo";

type storage = EURO.t;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/language-basics/src/modules/imported.jsligo" "EURO"
import * as EURO from "gitlab-pages/docs/language-basics/src/modules/imported.jsligo";

type storage = EURO.t;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/language-basics/src/modules/imported.mligo" "EURO"
module EURO = Gitlab_pages.Docs.Language_basics.Src.Modules.Imported

type storage = EURO.t

Expand Down
4 changes: 2 additions & 2 deletions gitlab-pages/docs/reference/decorators/private.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ let f x = g x + 1 // exported by default
Then the following piece of code, in another file:

```cameligo group=import-module-with-private
#import "gitlab-pages/docs/reference/decorators/src/private/module-with-private.mligo" "ModuleWithPrivate"
module ModuleWithPrivate = Gitlab_pages.Docs.Reference.Decorators.Src.Private.Module_with_private

let foo = ModuleWithPrivate.f 123 // = 5167

Expand Down Expand Up @@ -53,7 +53,7 @@ const f = x => g(x) + 1; // exported by default
Then the following piece of code, in another file:

```jsligo group=import-module-with-private
#import "gitlab-pages/docs/reference/decorators/src/private/module-with-private.mligo" "ModuleWithPrivate"
import * as ModuleWithPrivate from "gitlab-pages/docs/reference/decorators/src/private/module-with-private.mligo";

const foo = ModuleWithPrivate.f(123); // = 5167

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/reference/decorators/src/private/module-with-private.mligo" "ModuleWithPrivate"
import * as ModuleWithPrivate from "gitlab-pages/docs/reference/decorators/src/private/module-with-private.mligo";

const foo = ModuleWithPrivate.f(123); // = 5167

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/reference/decorators/src/private/module-with-private.mligo" "ModuleWithPrivate"
module ModuleWithPrivate = Gitlab_pages.Docs.Reference.Decorators.Src.Private.Module_with_private

let foo = ModuleWithPrivate.f 123 // = 5167

Expand Down
4 changes: 2 additions & 2 deletions gitlab-pages/docs/syntax/contracts/entrypoints.md
Original file line number Diff line number Diff line change
Expand Up @@ -586,7 +586,7 @@ proxy file which declares a single entry point and calls the existing
<Syntax syntax="cameligo">

```cameligo group=contract_main_proxy
#import "gitlab-pages/docs/syntax/contracts/src/entrypoints/contract_main.mligo" "C"
module C = Gitlab_pages.Docs.Syntax.Contracts.Src.Entrypoints.Contract_main

module Proxy = struct

Expand All @@ -608,7 +608,7 @@ ligo compile contract --library . -m Proxy gitlab-pages/docs/advanced/src/entryp
<Syntax syntax="jsligo">

```jsligo group=contract_main_proxy
#import "gitlab-pages/docs/syntax/contracts/src/entrypoints/contract_main.jsligo" "C"
import * as C from "gitlab-pages/docs/syntax/contracts/src/entrypoints/contract_main.jsligo";

namespace Proxy {
@entry
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/syntax/contracts/src/entrypoints/contract_main.jsligo" "C"
import * as C from "gitlab-pages/docs/syntax/contracts/src/entrypoints/contract_main.jsligo";

namespace Proxy {
@entry
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/syntax/contracts/src/entrypoints/contract_main.mligo" "C"
module C = Gitlab_pages.Docs.Syntax.Contracts.Src.Entrypoints.Contract_main

module Proxy = struct

Expand Down
4 changes: 2 additions & 2 deletions gitlab-pages/docs/testing/mutation-testing.md
Original file line number Diff line number Diff line change
Expand Up @@ -307,7 +307,7 @@ Note that the test uses a function named `tester` to deploy the contract and run
```cameligo test-ligo group=mutation-contract-test
(* This is mutation-contract-test.mligo *)

#import "gitlab-pages/docs/testing/src/mutation-testing/mutation-contract.mligo" "MutationContract"
module MutationContract = Gitlab_pages.Docs.Testing.Src.Mutation_testing.Mutation_contract
module Test = Test.Next
type storage = MutationContract.AddSub.storage
type param = MutationContract.AddSub parameter_of
Expand All @@ -329,7 +329,7 @@ let test_original =
```jsligo test-ligo group=mutation-contract-test
// This is mutation-contract-test.jsligo

#import "gitlab-pages/docs/testing/src/mutation-testing/mutation-contract.jsligo" "MutationContract"
import * as MutationContract from "gitlab-pages/docs/testing/src/mutation-testing/mutation-contract.jsligo";
import Test = Test.Next;
type storage = int;
type param = parameter_of MutationContract.AddSub;
Expand Down
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
// This is mutation-contract-test.jsligo

#import "gitlab-pages/docs/testing/src/mutation-testing/mutation-contract.jsligo" "MutationContract"
import * as MutationContract from "gitlab-pages/docs/testing/src/mutation-testing/mutation-contract.jsligo";
import Test = Test.Next;
type storage = int;
type param = parameter_of MutationContract.AddSub;
Expand Down
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(* This is mutation-contract-test.mligo *)

#import "gitlab-pages/docs/testing/src/mutation-testing/mutation-contract.mligo" "MutationContract"
module MutationContract = Gitlab_pages.Docs.Testing.Src.Mutation_testing.Mutation_contract
module Test = Test.Next
type storage = MutationContract.AddSub.storage
type param = MutationContract.AddSub parameter_of
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

import Test = Test.Next;

#import "gitlab-pages/docs/testing/src/testing/mycontract.jsligo" "MyModule"
import * as MyModule from "gitlab-pages/docs/testing/src/testing/mycontract.jsligo";

const run_test1 = () => {
let initial_storage = 10;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

module Test = Test.Next

#import "gitlab-pages/docs/testing/src/testing/mycontract.mligo" "MyContract"
module MyContract = Gitlab_pages.Docs.Testing.Src.Testing.Mycontract

let run_test1 =
let initial_storage = 10 in
Expand Down
4 changes: 2 additions & 2 deletions gitlab-pages/docs/testing/testing.md
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ It follows these basic steps:

module Test = Test.Next

#import "gitlab-pages/docs/testing/src/testing/mycontract.mligo" "MyContract"
module MyContract = Gitlab_pages.Docs.Testing.Src.Testing.Mycontract

let run_test1 =
let initial_storage = 10 in
Expand All @@ -118,7 +118,7 @@ let run_test1 =

import Test = Test.Next;

#import "gitlab-pages/docs/testing/src/testing/mycontract.jsligo" "MyModule"
import * as MyModule from "gitlab-pages/docs/testing/src/testing/mycontract.jsligo";

const run_test1 = () => {
let initial_storage = 10;
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/tutorials/taco-shop/src/tezos-taco-shop-smart-contract/TacoShop.jsligo" "TacoShop"
import * as TacoShop from "gitlab-pages/docs/tutorials/taco-shop/src/tezos-taco-shop-smart-contract/TacoShop.jsligo";

function assert_string_failure (res: test_exec_result, expected: string) {
const expected_bis = Test.eval(expected);
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/tutorials/taco-shop/src/tezos-taco-shop-smart-contract/TacoShop.mligo" "TacoShop"
module TacoShop = Gitlab_pages.Docs.Tutorials.Taco_shop.Src.Tezos_taco_shop_smart_contract.TacoShop

let assert_string_failure (res : test_exec_result) (expected : string) =
let expected = Test.eval expected in
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -413,7 +413,7 @@ For that, we will have another file in which will describe our test:
<Syntax syntax="cameligo">

```cameligo test-ligo group=test
#import "gitlab-pages/docs/tutorials/taco-shop/src/tezos-taco-shop-smart-contract/TacoShop.mligo" "TacoShop"
module TacoShop = Gitlab_pages.Docs.Tutorials.Taco_shop.Src.Tezos_taco_shop_smart_contract.TacoShop

let assert_string_failure (res : test_exec_result) (expected : string) =
let expected = Test.eval expected in
Expand Down Expand Up @@ -465,7 +465,7 @@ let test =
<Syntax syntax="jsligo">

```jsligo test-ligo group=test
#import "gitlab-pages/docs/tutorials/taco-shop/src/tezos-taco-shop-smart-contract/TacoShop.jsligo" "TacoShop"
import * as TacoShop from "gitlab-pages/docs/tutorials/taco-shop/src/tezos-taco-shop-smart-contract/TacoShop.jsligo";

function assert_string_failure (res: test_exec_result, expected: string) {
const expected_bis = Test.eval(expected);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ let f x = (g x) + 1

```cameligo group=import-module-with-private
(* This is gitlab-pages/docs/advanced/src/attributes-decorators/import-module-with-private.mligo *)
#import "gitlab-pages/docs/advanced/src/attributes-decorators/module-with-private.mligo" "ModuleWithPrivate"
module ModuleWithPrivate = Gitlab_pages.Docs.Advanced.Src.Attributes_decorators.Module_with_private

(* foo = 5167 = (123 * 42) + 1 *)
let foo = ModuleWithPrivate.f 123
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(* This is gitlab-pages/docs/advanced/src/attributes-decorators/import-module-with-private.mligo *)
#import "gitlab-pages/docs/advanced/src/attributes-decorators/module-with-private.mligo" "ModuleWithPrivate"
module ModuleWithPrivate = Gitlab_pages.Docs.Advanced.Src.Attributes_decorators.Module_with_private

(* foo = 5167 = (123 * 42) + 1 *)
let foo = ModuleWithPrivate.f 123
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ definitions. For example, we can create a `main.mligo` that imports
all definitions from `euro.mligo` as the module `Euro`:

```cameligo group=main_importer
#import "gitlab-pages/docs/preprocessor/src/import/euro.mligo" "Euro"
module Euro = Gitlab_pages.Docs.Preprocessor.Src.Import.Euro

type storage = Euro.t

Expand Down Expand Up @@ -76,7 +76,7 @@ its definitions. For example, we can create a `main.jsligo` that
imports all definitions from `euro.jsligo` as the namespace `Euro`:

```jsligo group=main_importer
#import "gitlab-pages/docs/preprocessor/src/import/euro.jsligo" "Euro"
import * as Euro from "gitlab-pages/docs/preprocessor/src/import/euro.jsligo";

type storage = Euro.t;

Expand Down Expand Up @@ -110,7 +110,7 @@ namespace Euro {
Because the namespace is public, you can access it as a sub-namespace when you import the file into another file:

```jsligo group=import_euro_public
#import "gitlab-pages/docs/preprocessor/src/import/euro_namespace_public.jsligo" "Euro_import"
import * as Euro_import from "gitlab-pages/docs/preprocessor/src/import/euro_namespace_public.jsligo";

type euro_balance = Euro_import.Euro.t;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/preprocessor/src/import/euro_namespace_public.jsligo" "Euro_import"
import * as Euro_import from "gitlab-pages/docs/preprocessor/src/import/euro_namespace_public.jsligo";

type euro_balance = Euro_import.Euro.t;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/preprocessor/src/import/euro.jsligo" "Euro"
import * as Euro from "gitlab-pages/docs/preprocessor/src/import/euro.jsligo";

type storage = Euro.t;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#import "gitlab-pages/docs/preprocessor/src/import/euro.mligo" "Euro"
module Euro = Gitlab_pages.Docs.Preprocessor.Src.Import.Euro

type storage = Euro.t

Expand Down
Loading
Loading