Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
4 changes: 3 additions & 1 deletion .github/workflows/build.yml
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should you instead run the justfile target you updated in this CI step?

Original file line number Diff line number Diff line change
Expand Up @@ -138,8 +138,10 @@ jobs:
working-directory: ./machine/emulator
run: |
make bundle-boost
wget https://github.com/cartesi/machine-emulator/releases/download/v0.19.0/add-generated-files.diff
wget -O add-generated-files.diff https://github.com/cartesi/machine-emulator/releases/download/v0.19.0/add-generated-files.diff
echo "a892e2d9f5c331f5e80bcb5db4133e7db625aa4d14ffdf9467b75c4c34d1744f add-generated-files.diff" | sha256sum -c
git apply add-generated-files.diff
rm add-generated-files.diff
make
sudo make install

Expand Down
8 changes: 5 additions & 3 deletions justfile
Original file line number Diff line number Diff line change
@@ -1,10 +1,12 @@
update-submodules:
git submodule update --recursive --init

apply-generated-files-diff VERSION="v0.19.0":
apply-generated-files-diff VERSION="v0.19.0" FILEHASH="a892e2d9f5c331f5e80bcb5db4133e7db625aa4d14ffdf9467b75c4c34d1744f":
cd machine/emulator && \
wget https://github.com/cartesi/machine-emulator/releases/download/{{VERSION}}/add-generated-files.diff && \
git apply add-generated-files.diff
(wget -O add-generated-files.diff https://github.com/cartesi/machine-emulator/releases/download/{{VERSION}}/add-generated-files.diff && \
(echo "{{FILEHASH}} add-generated-files.diff" | sha256sum -c) && \
git apply add-generated-files.diff) ; \
rm -f add-generated-files.diff

bundle-boost:
make -C machine/emulator bundle-boost
Expand Down