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

[hacl] Extract only make target #79

Open

franziskuskiefer opened this issue Jun 23, 2022 · 0 comments

Member

franziskuskiefer commented Jun 23, 2022

Introduce a way of extracting gcc-compatible, c89-compatible, and msvc-compatible distributions without doing anything else.

franziskuskiefer transferred this issue from cryspen/hacl-star

franziskuskiefer changed the title ~~Extract only make target~~ [hacl] Extract only make target

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