Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[FEATURE] Temporary solution for TLA_PATH #187

Closed
konnov opened this issue Jul 29, 2020 · 3 comments
Closed

[FEATURE] Temporary solution for TLA_PATH #187

konnov opened this issue Jul 29, 2020 · 3 comments
Assignees
@konnov
Labels
new New issue to be triaged.
Milestone
backlog2020

Comments

@konnov
Copy link
Collaborator

konnov commented Jul 29, 2020

We need a way to lookup for modules in the directories different from the working directory. This PR solves the issue. However, it will take some time before the PR gets merged, tla2tools get released, etc.

To go ahead with #162, #181, #183, we will handle TLA_PATH right in apalache-mc by calling java with -DTLA-Library=$TLA_PATH. Once the PR is released, we will remove this kludge.
@konnov konnov added the new New issue to be triaged. label Jul 29, 2020
@konnov konnov added this to the v0.7.1-known-issues milestone Jul 29, 2020
@konnov konnov self-assigned this Jul 29, 2020
@konnov konnov closed this as completed in e0ebe4a Jul 29, 2020
@konnov konnov reopened this Jul 29, 2020
@konnov
Copy link
Collaborator Author

konnov commented Jul 29, 2020

Followed up the lookup path in the branch https://github.com/informalsystems/apalache/tree/ik/standard-modules, to be a PR for several issues.

@konnov
Copy link
Collaborator Author

konnov commented Jul 30, 2020

This is addressed in the PR #188

@konnov konnov closed this as completed Jul 30, 2020
@konnov konnov mentioned this issue Aug 1, 2020
Closed
@lemmy
Copy link
Contributor

lemmy commented Aug 12, 2020

It would be convenient if TLA_PATH would work with CommunityModules.jar.

@konnov konnov added the FAF label Dec 11, 2020
@konnov konnov modified the milestones: v0.7.2-known-issues, backlog2020 Dec 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
new New issue to be triaged.
Projects
None yet
Milestone
backlog2020
Development

No branches or pull requests
2 participants
@lemmy @konnov