Packaging an executable for homebrew install for non-OCaml users

Release-Candidate · June 13, 2023, 1:20pm

All official Homebrew formulas are located in this GitHub repo: https://github.com/Homebrew/homebrew-core/tree/master/Formula

The interesting part is install.

Examples using `make`:

Dune:

github.com

Homebrew/homebrew-core/blob/eee23c0176f12814a5597e14f34d57d596c82e88/Formula/dune.rb

class Dune < Formula
  desc "Composable build system for OCaml"
  homepage "https://dune.build/"
  url "https://github.com/ocaml/dune/releases/download/3.8.1/dune-3.8.1.tbz"
  sha256 "9413a5d6eb9d7968a0463debb9d9f1be73025345809b827978d0c14db76cf914"
  license "MIT"
  head "https://github.com/ocaml/dune.git", branch: "main"

  bottle do
    sha256 cellar: :any_skip_relocation, arm64_ventura:  "c93fdb29b7665f8841815f60a89a91e6bdc8ff16f9a18eab1ca44f35a1f432a0"
    sha256 cellar: :any_skip_relocation, arm64_monterey: "96fdee8fd3f2281e666dc21bcbb995ac3aecb83645a7ca9e0cc12e6106c98c68"
    sha256 cellar: :any_skip_relocation, arm64_big_sur:  "97270d88b147da250870ca03e7d5e1fa55dc5bba45e2695d983d767e2c42e9fb"
    sha256 cellar: :any_skip_relocation, ventura:        "2eece601720ef549449d72067781aa01c258d9eef28cc022a61acf3d03f60019"
    sha256 cellar: :any_skip_relocation, monterey:       "798030f8bb490bd9b2894c120c7494519191167edc6cc3020c33948b0ac8f27f"
    sha256 cellar: :any_skip_relocation, big_sur:        "c506384c6e5091cd5004a245afd6245bdd13eb6aaa62321d5a42c0442c89a12c"
    sha256 cellar: :any_skip_relocation, x86_64_linux:   "529d3231eef67c829c0a32815406117db1c400dce7b529f8289c2c6d9899770f"
  end

  depends_on "ocaml" => [:build, :test]

This file has been truncated. show original

Opam:

github.com

Homebrew/homebrew-core/blob/eee23c0176f12814a5597e14f34d57d596c82e88/Formula/opam.rb

class Opam < Formula
  desc "OCaml package manager"
  homepage "https://opam.ocaml.org"
  url "https://github.com/ocaml/opam/releases/download/2.1.5/opam-full-2.1.5.tar.gz"
  sha256 "15e40a75f6fa419164fb20bedd27c851146c2d576a63937cd13b317f3bc2ab93"
  license "LGPL-2.1-only"
  head "https://github.com/ocaml/opam.git", branch: "master"

  bottle do
    sha256 cellar: :any_skip_relocation, arm64_ventura:  "ad32ed8cec817253713108f1b98637ccc3502d7e4b26a84106dd8c596f89b2e7"
    sha256 cellar: :any_skip_relocation, arm64_monterey: "9dad7f0a00dd2eaae5641bc8bed58c3b55345eda2a52cfece9c8d9f5d32cacfa"
    sha256 cellar: :any_skip_relocation, arm64_big_sur:  "c1513d3610c7ee1aac381f211fc97e058344e9916ec2feef23407212bf3b99f1"
    sha256 cellar: :any_skip_relocation, ventura:        "ed5bad85e04ab442b162d45c826f5acb8a227a98483530c84dff338d0f65e455"
    sha256 cellar: :any_skip_relocation, monterey:       "6221d625de9576693822ae21bedb1fa8e20f698b28696fb515416597264c1fef"
    sha256 cellar: :any_skip_relocation, big_sur:        "35a66840754e0fc5446e1a549b84e7ad2c4e36ffceba6d35004cf717e21983d1"
    sha256 cellar: :any_skip_relocation, x86_64_linux:   "0d2125ff03e05a69b470db61e840f62b45bc34cfbeedb12c4628187fb5e25e8d"
  end

  depends_on "ocaml" => [:build, :test]
  depends_on "gpatch"

This file has been truncated. show original

Examples using `dune`:

Coq:

github.com

Homebrew/homebrew-core/blob/49b63bb867b5d966331f81b4b73929b295be33c1/Formula/coq.rb

class Coq < Formula
  desc "Proof assistant for higher-order logic"
  homepage "https://coq.inria.fr/"
  url "https://github.com/coq/coq/archive/V8.17.0.tar.gz"
  sha256 "712890e4c071422b0c414f260a35c5cb504f621be8cd2a2f0edfe6ef7106a1af"
  license "LGPL-2.1-only"
  revision 1
  head "https://github.com/coq/coq.git", branch: "master"

  livecheck do
    url :stable
    regex(/^v?(\d+(?:\.\d+)+)$/i)
  end

  bottle do
    sha256 arm64_ventura:  "008699456159b5a2aaa2ada32ce99e76036e6274217874d5d3ac85e3b686fed6"
    sha256 arm64_monterey: "63b89cf96a2210f6dc498a8af41910e765270f7de01b4e734a73c2fc562626b4"
    sha256 arm64_big_sur:  "34a66210a42dee8c70b371a362028232f57ab78b8b1e41d9b05b61d45b9916cc"
    sha256 ventura:        "409829c3d07dae2378e54e33efb175e8582b1e3c034cff0968ac9eca0dc829a3"
    sha256 monterey:       "9d16f8ee02778a71241be1a897af50d5abaa9c5c05705387c92cb5954739a9ab"

This file has been truncated. show original

Menhir:

github.com

Homebrew/homebrew-core/blob/49b63bb867b5d966331f81b4b73929b295be33c1/Formula/menhir.rb

class Menhir < Formula
  desc "LR(1) parser generator for the OCaml programming language"
  homepage "http://cristal.inria.fr/~fpottier/menhir"
  url "https://gitlab.inria.fr/fpottier/menhir/-/archive/20230608/menhir-20230608.tar.bz2"
  sha256 "6fff24b0e1bca2143a774357dcda17ba367a6d23fadd9d7df52774f904dae2a9"
  license "GPL-3.0-or-later"

  bottle do
    sha256 cellar: :any,                 arm64_ventura:  "b5f3471fdeedef8360e4ef1a220787993578205fdf64b34bfe52eaf426ad40a0"
    sha256 cellar: :any,                 arm64_monterey: "b092e36031f47030e59839d5fd05d321317ace2cd20a83f0ed952a416bd0a90e"
    sha256 cellar: :any,                 arm64_big_sur:  "14f19b612756c58d8c935598f6f6a8f7b11f405a1cb3b7dbad0fe6063e941f3f"
    sha256 cellar: :any,                 ventura:        "03f6d47c1c894c0892a536dc0abcf744039b747bbe707880024d491c16e8a9ac"
    sha256 cellar: :any,                 monterey:       "17a7165e6c26f622e431953ab5a9723b36035d31dc2296768dda298f5b0995e0"
    sha256 cellar: :any,                 big_sur:        "d1cace7fa759e156a78d1e3f2e71723bb0971e549a64c16dbea5f206ee028aea"
    sha256 cellar: :any_skip_relocation, x86_64_linux:   "8aba8e33a8f0746020d10440af25b25eda2d83a414bdcda1ffabb51fa5b5ec0b"
  end

  depends_on "dune" => :build
  depends_on "ocamlbuild" => :build
  depends_on "ocaml"

This file has been truncated. show original

Examples using Opam and something else:

Semgrep (Opam & Python):

github.com

Homebrew/homebrew-core/blob/49b63bb867b5d966331f81b4b73929b295be33c1/Formula/semgrep.rb

class Semgrep < Formula
  include Language::Python::Virtualenv

  desc "Easily detect and prevent bugs and anti-patterns in your codebase"
  homepage "https://semgrep.dev"
  url "https://github.com/returntocorp/semgrep.git",
      tag:      "v1.26.0",
      revision: "514a4022947b72f4615b4a7c72a00e92c6c683f8"
  license "LGPL-2.1-only"
  head "https://github.com/returntocorp/semgrep.git", branch: "develop"

  livecheck do
    url :stable
    regex(/^v?(\d+(?:\.\d+)+)$/i)
  end

  bottle do
    rebuild 1
    sha256 cellar: :any, arm64_ventura:  "bae63815c9ec2db233e6c3f6a12c82bfce9b3ac84e31af2f1682210a2abf4609"
    sha256 cellar: :any, arm64_monterey: "c7fbe7c109e935cd05e58ecafd600f3c9c299215f24015c58569149035b0218d"

This file has been truncated. show original

Reference

Homebrew’s Formula reference: Formula Cookbook — Homebrew Documentation

Topic		Replies	Views
Dune and embedding OCaml byte code Ecosystem	10	1406	September 10, 2018
Draft tutorials on Modules, Functors and Libraries Learning module , functor , dune , learn-ocaml , tutorial	10	1263	December 24, 2023
Question on native executable dependencies Ecosystem build , dune	15	689	February 27, 2024
[ANN] Dune 1.8.0 Community announce , dune	0	1367	March 8, 2019
Trying js_of_ocaml with dune, unable to find module Learning build , dune	3	117	September 20, 2024

Packaging an executable for homebrew install for non-OCaml users

Examples using make:

Examples using dune:

Examples using Opam and something else:

Reference

Related topics

Examples using `make`:

Examples using `dune`: