From b5aea3fb5fcce31599e3d7397d5413a934132231 Mon Sep 17 00:00:00 2001 From: Johannes Stoelp Date: Fri, 8 Dec 2023 00:49:28 +0100 Subject: ci: introduce Makefile Add CI checks into ci/Makefile and update gh actions. Motivation is, that makefile can also be added as pre-commit hook for local development: > echo 'make -C ci' > .git/hooks/pre-commit; chmod +x .git/hooks/pre-commit --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index d0760d2..8d5311d 100644 --- a/README.md +++ b/README.md @@ -58,5 +58,13 @@ The [`examples/`](examples/) folder provides additional examples: - [`add.rs`](examples/add.rs) jit compile a function calling another function compiled into the example. - [`tiny_vm.rs`](examples/tiny_vm.rs) define a minimal `virtual machine (VM)` which demonstrates a simple jit compiler for translating VM guest software. +## git hook for local development + +The [`ci/`] checks can be run automatically during local development by +installing the following `pre-commit` git hook. +```sh +echo 'make -C ci' > .git/hooks/pre-commit; chmod +x .git/hooks/pre-commit +``` + ## License This project is licensed under the [MIT](LICENSE) license. -- cgit v1.2.3