diff --git a/packages/base-flambda2/base-flambda2.base/opam b/packages/base-flambda2/base-flambda2.base/opam new file mode 100644 index 00000000000..6aa45025a13 --- /dev/null +++ b/packages/base-flambda2/base-flambda2.base/opam @@ -0,0 +1,8 @@ +opam-version: "2.0" +maintainer: "https://github.com/ocaml-flambda2/" +description: """ +Flambda2-enhanced version of the OCaml compiler" +""" +depends: [ + "ocaml-variants" {= "5.1.1+flambda2"} +] diff --git a/packages/dune-secondary/dune-secondary.3.8.1/opam b/packages/dune-secondary/dune-secondary.3.8.1/opam new file mode 100644 index 00000000000..67ae0f5e267 --- /dev/null +++ b/packages/dune-secondary/dune-secondary.3.8.1/opam @@ -0,0 +1,60 @@ +opam-version: "2.0" +synopsis: "Fast, portable, and opinionated build system" +description: """ + +dune is a build system that was designed to simplify the release of +Jane Street packages. It reads metadata from "dune" files following a +very simple s-expression syntax. + +dune is fast, has very low-overhead, and supports parallel builds on +all platforms. It has no system dependencies; all you need to build +dune or packages using dune is OCaml. You don't need make or bash +as long as the packages themselves don't use bash explicitly. + +dune supports multi-package development by simply dropping multiple +repositories into the same directory. + +It also supports multi-context builds, such as building against +several opam roots/switches simultaneously. This helps maintaining +packages across several versions of OCaml and gives cross-compilation +for free. +""" +maintainer: ["Jane Street Group, LLC "] +authors: ["Jane Street Group, LLC "] +license: "MIT" +homepage: "https://github.com/ocaml/dune" +doc: "https://dune.readthedocs.io/" +bug-reports: "https://github.com/ocaml/dune/issues" +conflicts: [ + "merlin" {< "3.4.0"} + "ocaml-lsp-server" {< "1.3.0"} + "dune-configurator" {< "2.3.0"} + "odoc" {< "2.0.1"} + "dune-release" {< "1.3.0"} + "js_of_ocaml-compiler" {< "3.6.0"} + "jbuilder" {= "transition"} +] +dev-repo: "git+https://github.com/ocaml/dune.git" +build-env: [PATH += "%{ocaml-secondary-compiler:share}%/bin"] +build: [ + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH ocaml boot/bootstrap.ml -j %{jobs}%"] { opam-version < "2.1.5"} + ["ocaml" "boot/bootstrap.ml" "-j" jobs] { opam-version >= "2.1.5" } + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH ./_boot/dune.exe build dune.install --release --profile dune-bootstrap -j %{jobs}%" ] { opam-version < "2.1.5" } + ["./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" jobs] { opam-version >= "2.1.5" } +] +install: [ + ["./_boot/dune.exe" "install" "dune" "--prefix" "%{ocaml-secondary-compiler:share}%"] { opam-version >= "2.1.5" } + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH ./_boot/dune.exe install dune --prefix %{ocaml-secondary-compiler:share}%"] { opam-version < "2.1.5" } +] +depends: [ + "ocaml-secondary-compiler" {>="4.14.1"} + "base-unix" + "base-threads" +] +url { + src: "https://github.com/ocaml/dune/releases/download/3.8.1/dune-3.8.1.tbz" + checksum: [ + "sha256=9413a5d6eb9d7968a0463debb9d9f1be73025345809b827978d0c14db76cf914" + "sha512=6857b64e7ca8ba452937539d5996c8d0941b25d82313cfad9e1e6b835a04fb86605beccdc86400cc705ad6a969171524091ab6981df87629b542cc172b38746b" + ] +} diff --git a/packages/menhir-secondary/menhir-secondary.20210419/opam b/packages/menhir-secondary/menhir-secondary.20210419/opam new file mode 100644 index 00000000000..f02821a18e9 --- /dev/null +++ b/packages/menhir-secondary/menhir-secondary.20210419/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +maintainer: "David Allsopp " +authors: [ + "François Pottier " + "Yann Régis-Gianas " +] +homepage: "http://gitlab.inria.fr/fpottier/menhir" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" +bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues" +license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception" +build-env: [ + [PATH += "%{ocaml-secondary-compiler:share}%/bin"] +] +build: [ + ["dune" "build"] { opam-version >= "2.1.5" } + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH dune build"] { opam-version < "2.1.5"} +] +install: [ + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH dune install --prefix %{ocaml-secondary-compiler:share}%"] { opam-version < "2.1.5"} + ["dune" "install" "--prefix" ocaml-secondary-compiler:share] { opam-version >= "2.1.5" } +] +depends: [ + "dune-secondary" + "ocaml-secondary-compiler" +] +synopsis: "Adds Menhir to ocaml-secondary-compiler" +url { + src: + "https://gitlab.inria.fr/fpottier/menhir/-/archive/20210419/archive.tar.gz" + checksum: [ + "md5=1af2d137eb20811c74ca516500164fd4" + "sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98" + ] +} diff --git a/packages/ocaml-secondary-compiler/ocaml-secondary-compiler.4.14.2/opam b/packages/ocaml-secondary-compiler/ocaml-secondary-compiler.4.14.2/opam new file mode 100644 index 00000000000..17059453166 --- /dev/null +++ b/packages/ocaml-secondary-compiler/ocaml-secondary-compiler.4.14.2/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +synopsis: "OCaml 4.14.2 Secondary Switch Compiler" +maintainer: "David Allsopp " +authors: "Xavier Leroy and many contributors" +license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" +homepage: "https://ocaml.org" +bug-reports: "https://github.com/ocaml/opam-repository/issues" +dev-repo: "git+https://github.com/ocaml/ocaml" +build: [ + [ + "./configure" + "--prefix=%{_:share}%" + "--libdir=%{_:share}%/lib" + "--disable-debugger" + "--disable-installing-bytecode-programs" + "--disable-debug-runtime" + "--disable-instrumented-runtime" + "CC=cc" {os = "openbsd" | os = "freebsd" | os = "macos"} + "ASPP=cc -c" {os = "openbsd" | os = "freebsd" | os = "macos"} + ] + [make "-j%{jobs}%"] +] +install: [make "install"] +url { + src: "https://github.com/ocaml/ocaml/archive/4.14.2.tar.gz" + checksum: "sha256=c2d706432f93ba85bd3383fa451d74543c32a4e84a1afaf3e8ace18f7f097b43" +} +description: "Installs an additional compiler to the opam switch in +%{_:share}%/ocaml-secondary-compiler which can be accessed using +`ocamlfind -toolchain secondary`." diff --git a/packages/ocaml-variants/ocaml-variants.5.1.1+flambda2/opam b/packages/ocaml-variants/ocaml-variants.5.1.1+flambda2/opam new file mode 100644 index 00000000000..190981f23c2 --- /dev/null +++ b/packages/ocaml-variants/ocaml-variants.5.1.1+flambda2/opam @@ -0,0 +1,46 @@ +opam-version: "2.0" +version: "5.1.1+flambda2" +synopsis: "Jane Street compiler variant with Flambda2 backend" +depends: [ + "ocaml" {= "5.1.1" & post} + "base-unix" {post} + "base-bigarray" {post} + "base-threads" {post} + "base-flambda2" {post} + "dune-secondary" {="3.8.1"} + "menhir-secondary" + "conf-autoconf" {build} +] +conflict-class: "ocaml-core-compiler" +flags: [ compiler avoid-version ] +setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" +build-env: [ + [PATH += "%{ocaml-secondary-compiler:share}%/bin"] +] +build: [ + ["autoconf"] { opam-version >= "2.1.5" } + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH autoconf"] { opam-version < "2.1.5" } + ["./configure" "--prefix=%{prefix}%" "--enable-flambda2" "--enable-runtime5=yes"] { opam-version >= "2.1.5" } + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH ./configure --prefix=%{prefix}% --enable-flambda2 --enable-runtime5=yes"] { opam-version < "2.1.5" } + [make "-j%{jobs}%"] { opam-version >= "2.1.5" } + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH make -j%{jobs}%"] { opam-version < "2.1.5" } +] +install: [ + [make "install"] { opam-version >= "2.1.5" } + ["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH make install"] { opam-version < "2.1.5" } +] +maintainer: "anil@recoil.org" +homepage: "https://github.com/ocaml-flambda/flambda-backend/" +bug-reports: "https://github.com/ocaml-flambda/flambda-backend/issues" +url { + src: "git+https://github.com/ocaml-flambda/flambda-backend.git" +} +authors: [ "The Jane Street compiler team" + "Xavier Leroy" + "Damien Doligez" + "Alain Frisch" + "Jacques Garrigue" + "Didier Rémy" + "Jérôme Vouillon" +] +available: [ os = "linux" & arch = "x86_64" ]