Skip to content

cartesi-machine-emulator 0.19.0 (split into multiple formulas) #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from

Conversation

alexmikhalevich
Copy link
Contributor

No description provided.

@alexmikhalevich alexmikhalevich self-assigned this Jan 28, 2025
@alexmikhalevich alexmikhalevich force-pushed the fix/split-formulas branch 3 times, most recently from a96dc08 to 9280bb8 Compare January 28, 2025 09:35
@alexmikhalevich alexmikhalevich requested a review from tuler January 28, 2025 10:03
Copy link
Member

@tuler tuler left a comment

Choose a reason for hiding this comment

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

@tuler
Copy link
Member

tuler commented Jan 28, 2025

After installing the meta package (and all dependencies), simply executing cartesi-machine does not work, because of path of kernel and rootfs.

lua5.4: ...achine-emulator/0.18.1/share/lua/5.4/cartesi-machine.lua:1766: error opening image file '/opt/homebrew/Cellar/cartesi-machine-emulator/0.18.1/share/cartesi-machine/images/linux.bin' when initializing RAM: No such file or directory
stack traceback:
        [C]: in field 'machine'
        ...achine-emulator/0.18.1/share/lua/5.4/cartesi-machine.lua:1766: in local 'create_machine'
        ...achine-emulator/0.18.1/share/lua/5.4/cartesi-machine.lua:1923: in main chunk
        [C]: in ?

Kernel gets installed at /opt/homebrew/Cellar/cartesi-machine-linux-image/0.20.0/share/linux-6.5.13-ctsi-1-v0.20.0.bin
Rootfs gets installed at /opt/homebrew/Cellar/cartesi-machine-rootfs-image/0.16.1/share/rootfs-tools-v0.16.1.ext2

I think that behavior is correct. The symlink of linux.bin and rootfs.ext2 is definitely wrong.
Maybe the symlink should be created by the cartesi-machine formula.

@alexmikhalevich alexmikhalevich force-pushed the fix/split-formulas branch 8 times, most recently from 8792068 to a35f5b2 Compare February 11, 2025 09:27
@tuler
Copy link
Member

tuler commented Feb 19, 2025

After removing the bottle section, it worked, by doing:

$ brew tap local/tap $(pwd)
$ brew install local/tap/cartesi-machine
$ cartesi-machine --version
cartesi-machine 0.19.0
build time: Jan 24 2025 20:48:58
platform: Mac OS
compiler: Clang version 16.0.0 (clang-1600.0.26.6)
Copyright Cartesi and individual authors.
$ cartesi-machine

         .
        / \
      /    \
\---/---\  /----\
 \       X       \
  \----/  \---/---\
       \    / CARTESI
        \ /   MACHINE
         '

Nothing to do.

Halted
Cycles: 48600713

This is the installed tree:

tree /opt/homebrew/Cellar/cartesi-machine*
/opt/homebrew/Cellar/cartesi-machine
└── 2
    ├── AUTHORS
    ├── CHANGELOG.md
    ├── COPYING
    ├── INSTALL_RECEIPT.json
    ├── README.md
    ├── installed
    └── sbom.spdx.json
/opt/homebrew/Cellar/cartesi-machine-emulator
└── 0.19.0
    ├── AUTHORS
    ├── CHANGELOG.md
    ├── COPYING
    ├── INSTALL_RECEIPT.json
    ├── README.md
    ├── bin
    │   ├── cartesi-machine
    │   ├── cartesi-machine-stored-hash
    │   ├── jsonrpc-remote-cartesi-machine
    │   └── merkle-tree-hash
    ├── include
    │   └── cartesi-machine
    │       ├── jsonrpc-machine-c-api.h
    │       ├── machine-c-api.h
    │       └── machine-c-version.h
    ├── lib
    │   ├── libcartesi-0.19.dylib
    │   ├── libcartesi.a
    │   ├── libcartesi.dylib -> libcartesi-0.19.dylib
    │   ├── libcartesi_jsonrpc-0.19.dylib
    │   ├── libcartesi_jsonrpc.a
    │   ├── libcartesi_jsonrpc.dylib -> libcartesi_jsonrpc-0.19.dylib
    │   ├── libluacartesi.a
    │   ├── libluacartesi_jsonrpc.a
    │   └── lua
    │       └── 5.4
    │           ├── cartesi
    │           │   └── jsonrpc.so
    │           └── cartesi.so
    ├── sbom.spdx.json
    └── share
        ├── cartesi-machine
        │   └── gdb
        │       └── gdbinit
        └── lua
            └── 5.4
                ├── cartesi
                │   ├── gdbstub.lua
                │   ├── proof.lua
                │   └── util.lua
                ├── cartesi-machine-stored-hash.lua
                └── cartesi-machine.lua
/opt/homebrew/Cellar/cartesi-machine-linux-image
└── 0.20.0
    ├── INSTALL_RECEIPT.json
    ├── sbom.spdx.json
    └── share
        └── linux-6.5.13-ctsi-1-v0.20.0.bin
/opt/homebrew/Cellar/cartesi-machine-rootfs-image
└── 0.20.0
    ├── INSTALL_RECEIPT.json
    ├── sbom.spdx.json
    └── share
        └── rootfs-ubuntu.ext2

23 directories, 42 files

Is everything where they should be?

@tuler
Copy link
Member

tuler commented Feb 19, 2025

@edubart @diegonehab I know you are not brew users, but take a look if anything looks out of place

@tuler
Copy link
Member

tuler commented Mar 27, 2025

Updated and tested with alpha3

@tuler tuler changed the title fix: split into multiple formulas cartesi-machine-emulator 0.19.0 (split into multiple formulas) Mar 27, 2025
@tuler
Copy link
Member

tuler commented May 2, 2025

Updated and tested with alpha4

@tuler tuler force-pushed the fix/split-formulas branch from d0a0029 to 09e45b3 Compare May 27, 2025 19:18
@tuler tuler force-pushed the fix/split-formulas branch from 8376d60 to 7d55c69 Compare May 31, 2025 19:25
@alexmikhalevich alexmikhalevich added the pr-pull Formula release label Jul 16, 2025
@github-actions github-actions bot deleted the fix/split-formulas branch July 16, 2025 18:49
@github-actions github-actions bot closed this in 2031d91 Jul 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-pull Formula release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants