Skip to content

Commit

Permalink
Move build script to book
Browse files Browse the repository at this point in the history
  • Loading branch information
jspada committed Feb 27, 2023
1 parent e47761f commit fa2393c
Show file tree
Hide file tree
Showing 4 changed files with 32 additions and 15 deletions.
29 changes: 18 additions & 11 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions book/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
[package]
name = "mina-book"
version = "0.1.0"
description = "Documentation and specifications of the proof systems"
repository = "https://github.com/o1-labs/proof-systems"
homepage = "https://o1-labs.github.io/proof-systems/"
documentation = "https://o1-labs.github.io/proof-systems/rustdoc/"
readme = "README.md"
edition = "2021"
license = "Apache-2.0"

[build-dependencies]
cargo-spec = { version = "0.5.0" }
File renamed without changes.
5 changes: 1 addition & 4 deletions kimchi/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,6 @@ once_cell = "1.10.0"
hex = "0.4"
strum = "0.24.0"
strum_macros = "0.24.0"
cargo-spec = { version = "0.5.0" }

# TODO: audit this
disjoint-set = "0.0.2"
Expand All @@ -46,15 +45,13 @@ groupmap = { path = "../groupmap", version = "0.1.0" }
mina-curves = { path = "../curves", version = "0.1.0" }
o1-utils = { path = "../utils", version = "0.1.0" }
mina-poseidon = { path = "../poseidon", version = "0.1.0" }
mina-book = { path = "../book", version = "0.1.0" }

ocaml = { version = "0.22.2", optional = true }
ocaml-gen = { version = "0.1.0", optional = true }

wasm-bindgen = { version = "0.2.81", optional = true }

[build-dependencies]
cargo-spec = { version = "0.5.0" }

[dev-dependencies]
proptest = "1.0.0"
proptest-derive = "0.3.0"
Expand Down

0 comments on commit fa2393c

Please sign in to comment.