aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci/Makefile
diff options
context:
space:
mode:
authorJohannes Stoelp <johannes.stoelp@gmail.com>2023-12-13 00:11:34 +0100
committerJohannes Stoelp <johannes.stoelp@gmail.com>2023-12-13 00:11:34 +0100
commita4b800c239dc993f109941b99694acfb7847264f (patch)
treea42f689d30f048d14bb47e4441a47cfbbc28339c /ci/Makefile
parentfe5064d532011bea705693594015d70c5ce2d726 (diff)
downloadjuicebox-asm-a4b800c239dc993f109941b99694acfb7847264f.tar.gz
juicebox-asm-a4b800c239dc993f109941b99694acfb7847264f.zip
ci: add check to run example in readme
Diffstat (limited to 'ci/Makefile')
-rw-r--r--ci/Makefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/ci/Makefile b/ci/Makefile
index 9f18c60..9a76fdc 100644
--- a/ci/Makefile
+++ b/ci/Makefile
@@ -1,4 +1,4 @@
-all: build build-examples check-fmt check-clippy check-tests check-examples run-examples
+all: build build-examples check-fmt check-clippy check-tests check-examples check-readme run-examples
build:
cargo build
@@ -18,6 +18,11 @@ check-tests:
check-examples:
cargo test --examples
+check-readme:
+ awk '/^```rust$$/,/^```$$/ { if (!($$1 ~ "^```")) { print } }' ../README.md > ../examples/readme.rs
+ cargo run --example readme
+ rm -f ../examples/readme.rs
+
run-examples:
cargo run --example fib
cargo run --example add