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

Migrate build system to the main apalache repo? #16

Open

shonfeder opened this issue Feb 3, 2021 · 1 comment

Contributor

shonfeder commented Feb 3, 2021 •

edited

Loading

We have discussed moving the build system (but not the specs) to the main apalache repo.

Benefits:

Possibility of integrating CI easier
All code in one place
Would make it slightly easier to build from source
Essentially moves us towards a monorepo development practice

Draw backs:

Introduces tech debt (if we don't do a re-write first)
Could encourage tighter coupling between systems that don't really need to be tightly coupled
Takes some labor

Requirements

Would need to rework the build system to pull in the the specs from a remote repo.

Contributor Author

shonfeder commented Feb 3, 2021

Suggested here: #15 (review)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment