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

rholang file location prevents auto-determination of core RGOV #252

Closed
Bill-Kunj opened this issue Jul 21, 2021 · 1 comment
Closed

rholang file location prevents auto-determination of core RGOV #252

Bill-Kunj opened this issue Jul 21, 2021 · 1 comment
Labels
bootstrap Anything affecting bootstrap tooling dev environment Anything affecting dev interface enhancement New feature or request rholang Stuff that involves rholang code

Comments

@Bill-Kunj
Copy link
Collaborator

Right now, all core rholang files are in the root directory. Some of these are no longer used and serve only as reference implementations of past work.
This requires updating the deployment scripts manually every time a necessary rgov rholang file is added.
Creating a rholang directory (or core, or whatever) and moving the core RGOV rholang files into the the directory eliminates the need to update deployment scripts every time we introduce an enhancement.
@Bill-Kunj Bill-Kunj added enhancement New feature or request dev environment Anything affecting dev interface bootstrap Anything affecting bootstrap tooling rholang Stuff that involves rholang code labels Jul 21, 2021
@Bill-Kunj
Copy link
Collaborator Author

Fixed by #254

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bootstrap Anything affecting bootstrap tooling dev environment Anything affecting dev interface enhancement New feature or request rholang Stuff that involves rholang code
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Bill-Kunj