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

Automating client generation from server config #19

Open
Blaisorblade opened this issue Sep 6, 2015 · 1 comment
Open

Automating client generation from server config #19

Blaisorblade opened this issue Sep 6, 2015 · 1 comment

Comments

@Blaisorblade
Copy link
Contributor

The server configuration contains enough info to generate the client — we've managed to automate the process, up to generating zip packages — see documentation and code here:
https://github.com/ps-tuebingen/handin/tree/master/generate-handin-client

Is there enough interest in this?

The only missing piece is converting those ZIP packages to PLT ones if you want to support auto-updating; right now I do that externally from Racket as an additional step.

@Blaisorblade
Copy link
Contributor Author

The only missing piece is converting those ZIP packages to PLT ones if you want to support auto-updating; right now I do that externally from Racket as an additional step.

Scratch that piece, Matthew Flatt just enlightened me on distributing via github.

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

1 participant