Skip to content
This repository has been archived by the owner on Apr 23, 2021. It is now read-only.

Add a way to run the extraction process #41

Open
NathanReb opened this issue Jun 25, 2019 · 1 comment
Open

Add a way to run the extraction process #41

NathanReb opened this issue Jun 25, 2019 · 1 comment

Comments

@NathanReb
Copy link
Member

Same as in mirage/hacl#20, the current check-vendor target introduced in #24 does the job but it would be interesting to be able to run it all locally.
@dinosaure
Copy link
Member

Just to let the note, process available on #4 can not be executed into an OPAM/bubblewrap environment. opam install fiat with a call to dune check-vendor should fail.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dinosaure @NathanReb