-
-
Notifications
You must be signed in to change notification settings - Fork 15
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
Split repo in generator and generated Zig files #3
Comments
I guess the best solution would actually be a online tool where you can build your own wrapper, and just download the result file |
Has this split already taken place? The repo no longer seems to contain the generated files. |
I would not do a split, but upload generated files via GitHub CI. Thing is that we don't really know what users need in terms of extensions and such. So we either have to decide on default extensions (like Also do we ship a single package with all modules or one module per combination? If someone would do a web server, we could ship them with caching enabled, so just generate once (or every time on download) |
glad(glad.dav1d.de)-like website would be great, selection of extensions to include and a simple download. |
It would be nice to keep the generated Zig files in a separate and lean repo so they can be easily included using package managers like gyro and zigmod.
The text was updated successfully, but these errors were encountered: