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.

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

Improve release process #1072

Open
4 of 5 tasks
fare opened this issue Dec 4, 2023 · 4 comments
Open
4 of 5 tasks

Improve release process #1072

fare opened this issue Dec 4, 2023 · 4 comments
Assignees

Comments

@fare
Copy link
Collaborator

fare commented Dec 4, 2023

  • Get the build scripts to work perfectly with and without git present, including the handling of version.
  • In particular, correctly handle the Gambit version in absence of git — generate src/gambit/include/stamp.h from manifest.
  • The source tarball autogenerated by GitHub does not include the Gambit module. Fix that or work around it somehow?
  • Automate the production of binary tarballs, rpm and debian packages.
  • A binary tarball for Linux depends on .so's that may or may not be present. Have a tarball or dependencies handy? (Heroku notably does not provide the sqlite.so that we need)
@fare fare assigned fare, ober, vyzo and drewc Dec 4, 2023
@fare
Copy link
Collaborator Author

fare commented Dec 4, 2023

It is probably too late to automate away these issues for v0.18.1, but hopefully we can get it all push-button or v0.18.2.

@ober
Copy link
Collaborator

ober commented Dec 8, 2023

yes we can.

@iacore
Copy link

iacore commented Mar 8, 2024

Is there a way to build gerbil without gambit, since it is self-bootstrapped?

@vyzo
Copy link
Collaborator

vyzo commented Mar 8, 2024

no, we are very deeply integrated with gambit.

In principle you could bootstrap from another scheme however.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

5 participants