Skip to content

stubs: move binding generator in kimchi-stubs #3249

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

Draft
wants to merge 11 commits into
base: master
Choose a base branch
from
Draft

stubs: move binding generator in kimchi-stubs #3249

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
3ba1e66
xtask/kimchi-stubs: add option to build stubs w or w/o optim
dannywillems Jun 4, 2025
d10363d
xtask/kimchi-bindings-stubs: allow `y`, `1` and `true`
dannywillems Jun 5, 2025
ab25b82
xtask/kimchi-bindings-stubs: use match statement instead of if-else
dannywillems Jun 5, 2025
b62051c
stubs: move binding generator in kimchi-stubs
dannywillems Jun 4, 2025
d3ba9c1
WIP: move dune definitions
dannywillems Jun 18, 2025
529249a
CI: delete trailing whitespaces
dannywillems Jun 25, 2025
4ab8208
README: wrap at 80 chars
dannywillems Jun 25, 2025
b169d0d
README: update commands to generate doc
dannywillems Jun 25, 2025
ea3da68
kimchi-stubs: move dune-project at the top-level
dannywillems Jun 25, 2025
ae6839a
gitignore OCaml artefacts
dannywillems Jun 25, 2025
0cb5cb3
Generate OPAM and Caml modules from dune
dannywillems Jun 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
README: update commands to generate doc
  • Loading branch information
@dannywillems
dannywillems committed Jun 25, 2025
commit b169d0d2195618031d2bcff4d8749b1af4e51ccf
4 changes: 2 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -83,11 +83,11 @@ An effort is made to have the documentation being self-contained, referring to
the mina book for more details when necessary. You can build the rust
documentation with

<!-- This must be the same than the content in .github/workflows/gh-page.yml -->
<!-- This must be the same than the content in .github/workflows/ci.yml -->

```shell
rustup install nightly
RUSTDOCFLAGS="--enable-index-page -Zunstable-options" cargo +nightly doc --all --no-deps
make generate-doc
```

You can visualize the documentation by opening the file `target/doc/index.html`.
Expand Down