Skip to content

Commit 70f9b41

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 70f9b41

File tree

4 files changed

+116
-0
lines changed

4 files changed

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

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

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
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+
name cartesi-machine-linux
5+
version 0.20.0
6+
master_sites https://github.com/cartesi/image-kernel/releases/download/v${version}/
7+
distname linux-6.5.13-ctsi-1-v${version}
8+
extract.suffix .bin
9+
maintainers @cartesi/emulator \
10+
@diegonehab
11+
license GPL-2
12+
supported_archs noarch
13+
platforms any
14+
description Linux kernel for the Cartesi Machine Emulator
15+
long_description \
16+
The Linux kernel for the Cartesi Machine Emulator provides a default \
17+
kernel that can be used to boot Linux in the emulator.
18+
homepage https://github.com/cartesi/image-kernel
19+
checksums rmd160 4a4f9215f199a86fa7a41b85b9142cdc09e3d624 \
20+
sha256 65dd100ff6204346ac2f50f772721358b5c1451450ceb39a154542ee27b4c947 \
21+
size 17529704
22+
use_configure no
23+
build {}
24+
destroot {
25+
xinstall -d ${destroot}${prefix}/share/cartesi-machine/images
26+
xinstall -W ${distpath} -m 0644 \
27+
${distname}${extract.suffix} \
28+
${destroot}${prefix}/share/cartesi-machine/images
29+
ln -s ${distname}${extract.suffix} \
30+
${destroot}${prefix}/share/cartesi-machine/images/linux${extract.suffix}
31+
}
32+
livecheck.type none

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

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

0 commit comments

Comments
 (0)