-
Notifications
You must be signed in to change notification settings - Fork 12
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Copy binaries from
builtins
repo (#162)
* Build the machine with a custom SDK * Add built-in binaries instead of bounty bundles * Add `libatomic1` as dependency * Move `solidity` to `solc` * Use custom SDK in tests * Run assertion scripts with bash * Let bash expand aliases (off by default when non-interactive) * Update paths to bounties and exploits in tests * Add `clean` and `distclean` targets to root Makefile * Update populate script * Update README * Update `info.json` files * Remove unused files * Idempotent Makefile * Quote absolute paths as they might contain spaces * Make targets `.PHONY` * Use `curl` instead of `wget` * Remove slides * Translate table of dependencies into graph * Bump Ubuntu base image * Bump Node.js to 20 * Remove `make bounties` from CI * Remove `make bounties` from README * Move test image build to its own repo * Flatten Makefile rules for bundles * Make `test` depend on `bounties` target * Copy binaries from `builtins` image * Remove explicit platforms from Dockerfile * Create `BUILTINS_VERSION` argument --------- Co-authored-by: Enderson Maia <[email protected]>
- Loading branch information
1 parent
a0f62f3
commit e935a07
Showing
38 changed files
with
232 additions
and
2,013 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -9,4 +9,3 @@ frontend/src/model/__generated__ | |
frontend/tsconfig.tsbuildinfo | ||
frontend/yarn.lock | ||
*.bin | ||
slides.pdf |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,22 +1,34 @@ | ||
.PHONY: all | ||
all: bounties test-image | ||
|
||
.PHONY: bounties | ||
bounties: | ||
$(MAKE) -C tests/bounties | ||
|
||
test-image: | ||
docker build --tag bug-buster-test-image --file tests/Dockerfile --progress plain . | ||
.PHONY: clean | ||
clean: | ||
$(MAKE) -C tests/bounties clean | ||
|
||
test: | ||
docker run -v $(shell pwd):/mnt --rm -it bug-buster-test-image lua5.4 tests/tests.lua | ||
.PHONY: distclean | ||
distclean: | ||
$(MAKE) -C tests/bounties distclean | ||
|
||
.PHONY: test | ||
test: bounties | ||
docker run -v "$(shell pwd):/mnt" --rm -it cryptobughunters/test-image:0.0.0 lua5.4 tests/tests.lua | ||
|
||
.PHONY: shell | ||
shell: | ||
docker run -it -v "$(shell pwd)/.cartesi:/mnt:ro" cryptobughunters/sdk:0.11.1 cartesi-machine --ram-length=128Mi --flash-drive=label:root,filename:/mnt/image.ext2 -it /bin/bash | ||
|
||
.PHONY: run-frontend-dev | ||
run-frontend-dev: | ||
cd frontend && pnpm dev | ||
|
||
.PHONY: run-frontend-prod | ||
run-frontend-prod: | ||
cd frontend && pnpm build && pnpm start | ||
|
||
.PHONY: populate | ||
populate: | ||
./populate.sh | ||
|
||
slides: | ||
docker run --rm --init -v $$PWD:/home/marp/app/ -e MARP_USER="$(id -u):$(id -g)" marpteam/marp-cli slides.md --allow-local-files --pdf |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.