Skip to content

Commit

Permalink
Improve the link.sh script and upgrade com to use the last version of…
Browse files Browse the repository at this point in the history
… esperanto
  • Loading branch information
dinosaure committed Dec 20, 2023
1 parent bc131e0 commit 3820481
Show file tree
Hide file tree
Showing 3 changed files with 40 additions and 30 deletions.
1 change: 0 additions & 1 deletion .github/workflows/esperanto.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,6 @@ jobs:
run: sudo sh -c "echo ':APE:M::MZqFpD::/bin/sh:' >/proc/sys/fs/binfmt_misc/register"
- name: Pin & Install workflows
run: |
opam pin add -y https://github.com/dinosaure/esperanto.git
opam install ocamlfind opam-monorepo
opam repo add upstream git+https://github.com/ocaml/opam-repository.git
opam repo add dune-universe git+https://github.com/dune-universe/opam-overlays.git
Expand Down
60 changes: 33 additions & 27 deletions com.opam
Original file line number Diff line number Diff line change
Expand Up @@ -9,42 +9,45 @@ doc: "https://dinosaure.github.io/bob/"
license: "MIT"
synopsis: "A peer-to-peer file-transfer tool"

build: [ "dune" "build" "-x" "esperanto" "-p" name "bin/bob.exe" "-j" jobs ]
install: [
[ "objcopy" "-S" "-O" "binary" "_build/default.esperanto/bin/bob.exe" "%{bin}%/bob.com" ]
build: [
[ "dune" "build" "-x" "x86_64-esperanto" "-p" name "bin/bob.exe" "-j" jobs ]
[ "dune" "build" "-x" "aarch64-esperanto" "-p" name "bin/bob.exe" "-j" jobs ]
[ "sh" "link.sh" ]
]
run-test: [ "dune" "runtest" "-p" name "-j" jobs ]

depends: [
"ocaml" { build & >= "4.13.0" & < "5.0.0" }
"dune" { >= "3.3.0" }
"fmt" { >= "0.9.0" }
"hxd" { >= "0.3.2" }
"logs" { >= "0.7.0" }
"bheap" { >= "2.0.0" }
"base64" { >= "3.5.0" }
"decompress" { >= "1.5.1" }
"digestif" { >= "1.1.3" }
"opam-monorepo" { build }
"esperanto" { build }
"ocamlfind" { build }
"ocaml" { build & >= "4.13.0" & < "5.0.0" }
"dune" { >= "3.3.0" }
"fmt" { >= "0.9.0" }
"hxd" { >= "0.3.2" }
"logs" { >= "0.7.0" }
"bheap" { >= "2.0.0" }
"base64" { >= "3.5.0" }
"decompress" { >= "1.5.1" }
"digestif" { >= "1.1.3" }
"opam-monorepo" { build }
"esperanto-cosmopolitan" { build }
"x86_64-esperanto" { build }
"aarch64-esperanto" { build }
"ocamlfind" { build }
"bigstringaf"
"cmdliner"
"ipaddr" { >= "5.3.0" }
"ipaddr" { >= "5.3.0" }
"mirage-crypto"
"mirage-crypto-rng" { >= "0.11.0" }
"x509" { >= "0.16.0" }
"mirage-crypto-rng" { >= "0.11.0" }
"x509" { >= "0.16.0" }
"psq"
"lru" { >= "0.3.1" }
"lru" { >= "0.3.1" }
"tls"
"carton" { >= "0.5.0" }
"progress" { >= "0.2.1" }
"carton" { >= "0.5.0" }
"progress" { >= "0.2.1" }
"dns-client"
"happy-eyeballs" { >= "0.6.0" }
"happy-eyeballs" { >= "0.6.0" }
"ca-certs"
"ke" { >= "0.6" }
"alcotest" { with-test }
"spoke" { >= "0.0.2" }
"ke" { >= "0.6" }
"alcotest" { with-test }
"spoke" { >= "0.0.2" }
]

pin-depends: [
Expand All @@ -54,6 +57,9 @@ pin-depends: [
[ "mirage-crypto-rng.dev" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mtime.dev" "git+https://github.com/dinosaure/mtime.git#d5d70f38c40da90e3e173eb60346df55b64a4a0a" ]
[ "gmp.dev" "git+https://github.com/mirage/ocaml-gmp.git#dfc83c74a327d848074ecf0d33b009eaf5625250" ]
[ "esperanto-cosmopolitan.dev" "git+https://github.com/dinosaure/esperanto.git#621b451bde0dd333cfb12ac23a54a27623dddc25" ]
[ "x86_64-esperanto.dev" "git+https://github.com/dinosaure/esperanto.git#621b451bde0dd333cfb12ac23a54a27623dddc25" ]
[ "aarch64-esperanto.dev" "git+https://github.com/dinosaure/esperanto.git#621b451bde0dd333cfb12ac23a54a27623dddc25" ]
]

x-mirage-opam-lock-location: "com.opam.locked"
Expand All @@ -66,6 +72,6 @@ x-mirage-extra-repo: [
[ "opam-overlays" "https://github.com/dune-universe/opam-overlays.git" ]
[ "mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git" ]
]
x-opam-monorepo-opam-provided: ["ocaml" "ocamlfind" "opam-monorepo" "esperanto"]
x-opam-monorepo-opam-provided: ["ocaml" "ocamlfind" "opam-monorepo"]

url { src: "git+https://github.com/dinosaure/bob.git#reproducible-build" }
url { src: "git+https://github.com/dinosaure/bob.git" }
9 changes: 7 additions & 2 deletions link.sh
Original file line number Diff line number Diff line change
@@ -1,10 +1,15 @@
#!/bin/sh

apelink \
-V "0b1111101" \
opam exec -- apelink \
-o bob.com \
-l $(opam var bin)/ape-x86_64.elf \
-l $(opam var bin)/ape-aarch64.elf \
-M $(opam var bin)/ape-m1.c \
_build/default.x86_64_esperanto/bin/bob.exe.dbg \
_build/default.aarch64_esperanto/bin/bob.exe.dbg

cat >com.install <<EOF
bin: [
"bob.com"
]
EOF

0 comments on commit 3820481

Please sign in to comment.