Skip to content

Commit 41bcba7

Browse files
diegonehabdiegonehab
committed
feat: add remanining packages
new package for rootfs.ext2 new package for linux.bin new meta-package for installing emulator, rootfs.ext2, and linux.bin
1 parent 232c488 commit 41bcba7

File tree

5 files changed

+150
-0
lines changed

5 files changed

+150
-0
lines changed

‎dist/checksums.sh

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#!/bin/bash
2+
3+
echo $1
4+
echo rmd160 $(openssl dgst -rmd160 $1 | sed 's/^.*=//') \\
5+
echo sha256 $(openssl dgst -sha256 $1 | sed 's/^.*=//') \\
6+
stat -f "size %z \\" $1

‎dist/macports/emulators/cartesi-machine-emulator/Portfile

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2+
3+
PortSystem 1.0
4+
PortGroup github 1.0
5+
6+
github.setup cartesi machine-emulator 0.18.2-test1 v
7+
github.tarball_from archive
8+
name cartesi-machine-emulator
9+
categories emulators
10+
license LGPL-3+
11+
platforms darwin linux
12+
maintainers @cartesi/emulator \
13+
@diegonehab
14+
description The Cartesi Machine Emulator
15+
long_description \
16+
The Cartesi Machine Emulator is a feature-rich RISC-V emulator \
17+
designed to support reproducible computations and fraud-proofs.
18+
patchfiles add-generated-files.diff
19+
patch.pre_args -p1
20+
patch_sites https://github.com/${github.author}/${github.project}/releases/download/v${github.version}/
21+
checksums ${distname}.tar.gz \
22+
rmd160 b715fc045215e7d4cba59eba920ad5c3dd7de1ba \
23+
sha256 9d5fb1139f0997f665a2130ab4a698080d7299d29d5e69494764510587ca9566 \
24+
size 1168705 \
25+
add-generated-files.diff \
26+
rmd160 3949ed54f5182893224e08df993d81821bd80221 \
27+
sha256 8f513f065e94e6ab969cd27186421e28db0091b3a563cd87280c3bb51671669e \
28+
size 518972
29+
depends_build-append port:pkgconfig
30+
depends_lib-append port:boost181 \
31+
port:lua54 \
32+
port:libslirp
33+
use_configure no
34+
compiler.whitelist macports-clang-16
35+
build.args-append CC=${configure.cc} \
36+
CXX=${configure.cxx} \
37+
CPP=${configure.cpp}
38+
destroot.args-append PREFIX=${prefix}
39+
build.args-append PREFIX=${prefix}
40+
livecheck.type none

‎dist/macports/emulators/cartesi-machine-linux/Portfile

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2+
3+
PortSystem 1.0
4+
5+
name cartesi-machine-linux
6+
categories emulators
7+
version 0.20.0
8+
master_sites https://github.com/cartesi/image-kernel/releases/download/v${version}/
9+
distname linux-6.5.13-ctsi-1-v${version}
10+
extract.suffix .bin
11+
maintainers @cartesi/emulator \
12+
@diegonehab
13+
license GPL-2
14+
supported_archs noarch
15+
platforms any
16+
description Linux kernel for the Cartesi Machine Emulator
17+
long_description \
18+
The Linux kernel for the Cartesi Machine Emulator provides a default \
19+
kernel that can be used to boot Linux in the emulator.
20+
homepage https://github.com/cartesi/image-kernel
21+
checksums rmd160 4a4f9215f199a86fa7a41b85b9142cdc09e3d624 \
22+
sha256 65dd100ff6204346ac2f50f772721358b5c1451450ceb39a154542ee27b4c947 \
23+
size 17529704
24+
use_configure no
25+
build {}
26+
destroot {
27+
xinstall -d ${destroot}${prefix}/share/cartesi-machine/images
28+
xinstall -W ${distpath} -m 0644 \
29+
${distname}${extract.suffix} \
30+
${destroot}${prefix}/share/cartesi-machine/images
31+
ln -s ${distname}${extract.suffix} \
32+
${destroot}${prefix}/share/cartesi-machine/images/linux${extract.suffix}
33+
}
34+
livecheck.type none

‎dist/macports/emulators/cartesi-machine-rootfs/Portfile

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2+
3+
PortSystem 1.0
4+
5+
name cartesi-machine-rootfs
6+
categories emulators
7+
version 0.16.2
8+
master_sites https://github.com/cartesi/machine-emulator-tools/releases/download/v${version}-test1/
9+
distname rootfs-tools-v${version}
10+
extract.suffix .ext2
11+
maintainers @cartesi/emulator \
12+
@diegonehab
13+
license Apache-2
14+
supported_archs noarch
15+
platforms any
16+
description Root filesystem for the Cartesi Machine Emulator
17+
long_description \
18+
The root filesystem for the Cartesi Machine Emulator provides a default \
19+
filesystem that can be used to boot Linux in the emulator. \
20+
\
21+
This package installs what is, essentially, a Docker image converted to an \
22+
ext2 filesystem image. The license shown for the package is what amounts to \
23+
the license of the associated Dockerfile. The image, in contrast, includes a \
24+
variety of packages, each with its own license. To see a list of packages in \
25+
the ext2 filesystem image and their corresponding licenses, please see the \
26+
/etc/LICENSES file that is inside the filesystem image itself.
27+
homepage https://github.com/cartesi/machine-emulator-tools
28+
checksums rmd160 8ec1e90a7020d22cd6270b9978ad35c4fbb6595f \
29+
sha256 bf82f702229cea00156a2306149f018dc5aab85f176846a1b06a4bee561f72a3 \
30+
size 104857600
31+
use_configure no
32+
build {}
33+
destroot {
34+
xinstall -d ${destroot}${prefix}/share/cartesi-machine/images
35+
xinstall -W ${distpath} -m 0644 \
36+
${distname}${extract.suffix} \
37+
${destroot}${prefix}/share/cartesi-machine/images
38+
ln -s ${distname}${extract.suffix} \
39+
${destroot}${prefix}/share/cartesi-machine/images/rootfs${extract.suffix}
40+
}
41+
livecheck.type none

‎dist/macports/emulators/cartesi-machine/Portfile

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2+
3+
PortSystem 1.0
4+
5+
name cartesi-machine
6+
categories emulators
7+
version 0.20.0
8+
maintainers @cartesi/emulator \
9+
@diegonehab
10+
license Apache-2
11+
description The Cartesi Machine
12+
long_description \
13+
This is a metaport. It installs the Cartesi Machine Emulator, \
14+
a default root filesystem, and a default Linux kernel.
15+
homepage https://github.com/cartesi/machine-emulator-sdk
16+
master_sites
17+
distfiles
18+
platforms any
19+
supported_archs noarch
20+
use_configure no
21+
build { }
22+
depends_lib port:cartesi-machine-emulator \
23+
port:cartesi-machine-rootfs \
24+
port:cartesi-machine-linux
25+
destroot {
26+
xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
27+
system "echo ${version} > ${destroot}${prefix}/share/doc/${name}/VERSION"
28+
}
29+
livecheck.type none

0 commit comments

Comments
 (0)