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

Create Docker image with cryptol-remote-api as the entrypoint #956

Closed
atomb opened this issue Nov 11, 2020 · 2 comments
Closed

Create Docker image with cryptol-remote-api as the entrypoint #956

atomb opened this issue Nov 11, 2020 · 2 comments
Assignees
@atomb
Milestone
2.10.0

Comments

@atomb
Copy link
Contributor

atomb commented Nov 11, 2020

Create a variation of the main Cryptol Dockerfile that builds cryptol-remote-api instead of cryptol and makes it the entrypoint. Once the HTTP transport is complete, have the entrypoint enable that mode by default.
@atomb atomb added this to the 2.10.0 milestone Nov 11, 2020
@atomb atomb self-assigned this Nov 11, 2020
@atomb
Copy link
Contributor Author

atomb commented Nov 12, 2020

A first draft of this Dockerfile exists as of commit 2919e21. The next step is to finish the HTTP transport and tweak the entrypoint to pass in the flag to enable HTTP.

@atomb
Copy link
Contributor Author

atomb commented Nov 16, 2020

This is now automatically built, with the HTTP mode as the default, as of #967.

@atomb atomb closed this as completed Nov 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
None yet
Projects
None yet
Milestone
2.10.0
Development

No branches or pull requests
1 participant
@atomb