From a56dc6937731406495e8ca51c2e91fa53a39b237 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Tue, 17 Jan 2023 18:06:17 +0100 Subject: [PATCH] Release of esperanto v0.0.2 - Delete `conf-gcc` (we currently are able to use `clang`) - The current toolchain does not work on MacOS - Add conf-cosmopolitan package - Upgrade to Cosmopolitan v2.2 (dinosaure/esperanto#28) - Update the provided `extract.com` (dinosaure/esperanto#30) - Fix the support of OCaml 4.14.1 - Delete `pth` (Cosmopolitan provides `pthread`) --- .../esperanto-cosmopolitan.0.0.2/opam | 25 +++++++++++++++++ packages/esperanto/esperanto.0.0.2/opam | 27 +++++++++++++++++++ 2 files changed, 52 insertions(+) create mode 100644 packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.2/opam create mode 100644 packages/esperanto/esperanto.0.0.2/opam diff --git a/packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.2/opam b/packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.2/opam new file mode 100644 index 00000000000..6c148adad9f --- /dev/null +++ b/packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.2/opam @@ -0,0 +1,25 @@ +opam-version: "2.0" +maintainer: "Romain Calascibetta " +authors: "Romain Calascibetta " +homepage: "https://github.com/dinosaure/esperanto" +bug-reports: "https://github.com/dinosaure/esperanto/issues/" +license: "MIT" +tags: "org:mirage" +dev-repo: "git+https://github.com/dinosaure/esperanto.git" +build: [ + [ "sh" "-c" "cd toolchain && ./configure.sh --prefix=%{prefix}%" ] + [ make "-C" "toolchain" "all" "V=1" ] +] +# We should depend on conf-binutils but the package does not work on FreeBSD +# even if we can do [pkg install binutils] on FreeBSD 12 +# depends: [ +# "conf-binutils" +# ] +install: [ "sh" "-c" "cd toolchain ; %{make}% install" ] +synopsis: "Cosmopolitan toolchain for OCaml compiler" +description: "A little toolchain for OCaml with Cosmopolitan" +available: [ arch = "x86_64" & (os = "linux" | os = "freebsd" | os = "openbsd") ] +url { + src: "https://github.com/dinosaure/esperanto/releases/download/v0.0.2/esperanto-v0.0.2.tar.gz" + checksum: "sha512=11a1226ffe1cd1a9c168b2ecc5dbd9fa4cbee8bc5bcb1654445dfc8040dad97a24323ccc61a3716e4127797468729a82e48ea143a266a3777340dcf5d1ccca06" +} diff --git a/packages/esperanto/esperanto.0.0.2/opam b/packages/esperanto/esperanto.0.0.2/opam new file mode 100644 index 00000000000..d01adc09024 --- /dev/null +++ b/packages/esperanto/esperanto.0.0.2/opam @@ -0,0 +1,27 @@ +opam-version: "2.0" +maintainer: "Romain Calascibetta " +authors: "Romain Calascibetta " +homepage: "https://github.com/dinosaure/gilbraltar" +bug-reports: "https://github.com/dinosaure/gilbraltar/issues/" +license: "MIT" +tags: "org:mirage" +dev-repo: "git+https://github.com/dinosaure/gilbraltar.git" +build: [ + ["sh" "-c" "cd caml && ./configure.sh --prefix=%{prefix}% --target=x86_64-esperanto-none-static"] + [make "-C" "caml" "-j%{jobs}%"] +] +install: ["sh" "-c" "cd caml ; %{make}% install" ] +depends: [ + "conf-which" {build} + "ocaml-src" {build} + "esperanto-cosmopolitan" {build} +# "cosmopolitan-pth" {build} + "ocaml" {>= "4.13.0" & < "4.15.0"} +] +synopsis: "An OCaml compiler with Cosmopolitan" +description: + "An OCaml compiler (toolchain) with Cosmopolitan as the C library" +url { + src: "https://github.com/dinosaure/esperanto/releases/download/v0.0.2/esperanto-v0.0.2.tar.gz" + checksum: "sha512=11a1226ffe1cd1a9c168b2ecc5dbd9fa4cbee8bc5bcb1654445dfc8040dad97a24323ccc61a3716e4127797468729a82e48ea143a266a3777340dcf5d1ccca06" +}