Skip to content

ghc 9.12.1 #203247

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jan 15, 2025
Merged

ghc 9.12.1 #203247

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
ffac2e7
ghc 9.12.1
cho-m Jan 5, 2025
f906497
agda: workaround to build with GHC 9.12
cho-m Jan 6, 2025
4216fa9
agda: update 2.6.4.3_2 bottle.
BrewTestBot Jan 15, 2025
9ffc752
ghc: update 9.12.1 bottle.
BrewTestBot Jan 15, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Aliases/[email protected]
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
../Formula/g/ghc.rb
26 changes: 23 additions & 3 deletions Formula/a/agda.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,12 @@ class Agda < Formula
resource "categories" do
url "https://github.com/agda/agda-categories/archive/refs/tags/v0.2.0.tar.gz"
sha256 "a4bf97bf0966ba81553a2dad32f6c9a38cd74b4c86f23f23f701b424549f9015"

# Backport support for stdlib 2.1
patch do
url "https://github.com/agda/agda-categories/commit/ac0d9d27a402305f6774a6343f7a21a229822168.patch?full_index=1"
sha256 "50dc97c97898c825dd4c85fffc8452dc3e61a7871aa907d65b1711e5642c05fc"
end
end

resource "agda2hs" do
Expand Down Expand Up @@ -78,7 +84,21 @@ class Agda < Formula
uses_from_macos "zlib"

def install
cabal_args = std_cabal_v2_args.reject { |s| s["installdir"] }
# Workaround for GHC 9.12 until official support is available
# Issue ref: https://github.com/agda/agda/issues/7574
ghc912_args = %w[
--allow-newer=Agda:base
--allow-newer=agda-stdlib-utils:base
--allow-newer=agda2hs:base
--allow-newer=agda2hs:filepath
]
# Workaround for https://github.com/agda/agda/commit/e11ae9875470aab7b68b98d9d9574e736dbcaddd
ghc912_args << "--allow-newer=Agda:hashable"
# Workaround to build with GHC 9.12, remove after https://github.com/haskell/aeson/pull/1126
# is merged and available on Hackage or if `aeson` is willing to provide a metadata revision
ghc912_args << "--allow-newer=aeson:ghc-prim,aeson:template-haskell"

cabal_args = ghc912_args + std_cabal_v2_args.reject { |s| s["installdir"] }

system "cabal", "v2-update"
# expose certain packages for building and testing
Expand All @@ -89,7 +109,7 @@ def install

# install main Agda library and binaries
system "cabal", "--store-dir=#{libexec}", "v2-install",
"-foptimise-heavily", *std_cabal_v2_args
"--flags=optimise-heavily", *std_cabal_v2_args, *ghc912_args

# install agda2hs helper binary and library,
# relying on the Agda library just installed
Expand All @@ -109,7 +129,7 @@ def install
# Issue ref: https://github.com/agda/agda2hs/issues/347
inreplace "agda2hs.cabal", /( base .*&&) < 4\.20,/, "\\1 < 4.21,", build.stable?

system "cabal", "--store-dir=#{libexec}", "v2-install", *std_cabal_v2_args
system "cabal", "--store-dir=#{libexec}", "v2-install", *std_cabal_v2_args, *ghc912_args
end

# generate the standard library's documentation and vim highlighting files
Expand Down
49 changes: 20 additions & 29 deletions Formula/g/ghc.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
class Ghc < Formula

Check notice on line 1 in Formula/g/ghc.rb

View workflow job for this annotation

GitHub Actions / Linux

Bottle cache hit 

Bottle for ghc built at d88632200d2 (Merge fed3852253aa95f95f57739bace424218e92c6e2 into 2ea5d7dc80e47e394df6ed1150dc7376537d5f0b, 2025-01-07)

Check notice on line 1 in Formula/g/ghc.rb

View workflow job for this annotation

GitHub Actions / macOS 14-x86_64

Bottle cache hit 

Bottle for ghc built at d88632200d2 (Merge fed3852253aa95f95f57739bace424218e92c6e2 into 2ea5d7dc80e47e394df6ed1150dc7376537d5f0b, 2025-01-07)

Check notice on line 1 in Formula/g/ghc.rb

View workflow job for this annotation

GitHub Actions / macOS 13-x86_64

Bottle cache hit 

Bottle for ghc built at d88632200d2 (Merge fed3852253aa95f95f57739bace424218e92c6e2 into 2ea5d7dc80e47e394df6ed1150dc7376537d5f0b, 2025-01-07)

Check notice on line 1 in Formula/g/ghc.rb

View workflow job for this annotation

GitHub Actions / macOS 15-arm64

Bottle cache hit 

Bottle for ghc built at d88632200d2 (Merge fed3852253aa95f95f57739bace424218e92c6e2 into 2ea5d7dc80e47e394df6ed1150dc7376537d5f0b, 2025-01-07)

Check notice on line 1 in Formula/g/ghc.rb

View workflow job for this annotation

GitHub Actions / macOS 14-arm64

Bottle cache hit 

Bottle for ghc built at d88632200d2 (Merge fed3852253aa95f95f57739bace424218e92c6e2 into 2ea5d7dc80e47e394df6ed1150dc7376537d5f0b, 2025-01-07)

Check notice on line 1 in Formula/g/ghc.rb

View workflow job for this annotation

GitHub Actions / macOS 13-arm64

Bottle cache hit 

Bottle for ghc built at d88632200d2 (Merge fed3852253aa95f95f57739bace424218e92c6e2 into 2ea5d7dc80e47e394df6ed1150dc7376537d5f0b, 2025-01-07)
desc "Glorious Glasgow Haskell Compilation System"
homepage "https://haskell.org/ghc/"
url "https://downloads.haskell.org/~ghc/9.12.1/ghc-9.12.1-src.tar.xz"
sha256 "4a7410bdeec70f75717087b8f94bf5a6598fd61b3a0e1f8501d8f10be1492754"
# We build bundled copies of libffi and GMP so GHC inherits the licenses
license all_of: [
"BSD-3-Clause",
Expand All @@ -9,17 +11,6 @@
]
head "https://gitlab.haskell.org/ghc/ghc.git", branch: "master"

stable do
url "https://downloads.haskell.org/~ghc/9.10.1/ghc-9.10.1-src.tar.xz"
sha256 "bf386a302d4ee054791ffd51748900f15d71760fd199157922d120cc1f89e2f7"

# Backport fix to avoid unnecessary `alex` dependency
patch do
url "https://gitlab.haskell.org/ghc/ghc/-/commit/aba2c9d4728262cd9a2d711eded9050ac131c6c1.diff"
sha256 "152cd2711a7e103bbf0526dc62e51b437e6c60e26149f2cd50ccafaa057316ce"
end
end

livecheck do
url "https://www.haskell.org/ghc/download.html"
regex(/href=.*?download[._-]ghc[._-][^"' >]+?\.html[^>]*?>\s*?v?(\d+(?:\.\d+)+)\s*?</i)
Expand All @@ -39,7 +30,7 @@

depends_on "autoconf" => :build
depends_on "automake" => :build
depends_on "python@3.12" => :build
depends_on "python@3.13" => :build
depends_on "sphinx-doc" => :build
depends_on "xz" => :build

Expand All @@ -59,45 +50,45 @@
resource "binary" do
on_macos do
on_arm do
url "https://downloads.haskell.org/~ghc/9.8.2/ghc-9.8.2-aarch64-apple-darwin.tar.xz"
sha256 "67be089dedbe599d911efd8f82e4f9a19225761a3872be74dfd4b5a557fb8e1a"
url "https://downloads.haskell.org/~ghc/9.10.1/ghc-9.10.1-aarch64-apple-darwin.tar.xz"
sha256 "ffaf83b5d7a8b2c04920c6e3909c0be21dde27baf380d095fa27e840a3a2e804"
end
on_intel do
url "https://downloads.haskell.org/~ghc/9.8.2/ghc-9.8.2-x86_64-apple-darwin.tar.xz"
sha256 "64e8cca6310443cd6de8255edcf391d937829792e701167f7e5fb234f7150078"
url "https://downloads.haskell.org/~ghc/9.10.1/ghc-9.10.1-x86_64-apple-darwin.tar.xz"
sha256 "8cf22188930e10d7ac5270d425e21a3dab606af73a655493639345200c650be9"
end
end
on_linux do
on_arm do
url "https://downloads.haskell.org/~ghc/9.8.2/ghc-9.8.2-aarch64-deb10-linux.tar.xz"
sha256 "9a3776fd8dc02f95b751f0e44823d6727dea2c212857e2c5c5f6a38a034d1575"
url "https://downloads.haskell.org/~ghc/9.10.1/ghc-9.10.1-aarch64-deb10-linux.tar.xz"
sha256 "e6df50e62b696e3a8b759670fc79207ccc26e88a79a047561ca1ccb8846157dd"
end
on_intel do
url "https://downloads.haskell.org/~ghc/9.8.2/ghc-9.8.2-x86_64-ubuntu20_04-linux.tar.xz"
sha256 "a65a4726203c606b58a7f6b714a576e7d81390158c8afa0dece3841a4c602de2"
url "https://downloads.haskell.org/~ghc/9.10.1/ghc-9.10.1-x86_64-ubuntu20_04-linux.tar.xz"
sha256 "ae3be406fdb73bd2b0c22baada77a8ff2f8cde6220dd591dc24541cfe9d895eb"
end
end
end

resource "cabal-install" do
on_macos do
on_arm do
url "https://downloads.haskell.org/~cabal/cabal-install-3.12.1.0/cabal-install-3.12.1.0-aarch64-darwin.tar.xz"
sha256 "9c165ca9a2e593b12dbb0eca92c0b04f8d1c259871742d7e9afc352364fe7a3f"
url "https://downloads.haskell.org/~cabal/cabal-install-3.14.1.1/cabal-install-3.14.1.1-aarch64-darwin.tar.xz"
sha256 "bd40920fb3d5bcf3d78ce93445039ba43bc5edf769c52234223f25b83e3cc682"
end
on_intel do
url "https://downloads.haskell.org/~cabal/cabal-install-3.12.1.0/cabal-install-3.12.1.0-x86_64-darwin.tar.xz"
sha256 "e89392429f59bbcfaf07e1164e55bc63bba8e5c788afe43c94e00b515c1578af"
url "https://downloads.haskell.org/~cabal/cabal-install-3.14.1.1/cabal-install-3.14.1.1-x86_64-darwin.tar.xz"
sha256 "3690d8f7aa368141574f9eaf8e75bc26932ed7b422f5ade107d6972b3b72532f"
end
end
on_linux do
on_arm do
url "https://downloads.haskell.org/~cabal/cabal-install-3.12.1.0/cabal-install-3.12.1.0-aarch64-linux-deb10.tar.xz"
sha256 "c01f2e0b3ba1fe4104cf2933ee18558a9b81d85831a145e8aba33fa172c7c618"
url "https://downloads.haskell.org/~cabal/cabal-install-3.14.1.1/cabal-install-3.14.1.1-aarch64-linux-deb10.tar.xz"
sha256 "bf5fbe5d911c771b1601b80b00e9f9fb3db7f800258204322e411fdf1661a866"
end
on_intel do
url "https://downloads.haskell.org/~cabal/cabal-install-3.12.1.0/cabal-install-3.12.1.0-x86_64-linux-ubuntu20_04.tar.xz"
sha256 "3724f2aa22f330c5e6605978f3dd9adee4e052866321a8dd222944cd178c3c24"
url "https://downloads.haskell.org/~cabal/cabal-install-3.14.1.1/cabal-install-3.14.1.1-x86_64-linux-ubuntu20_04.tar.xz"
sha256 "91d2b65907e95462396fa96892ebbd903861fc07b5cb74993c612e33d4c0cc65"
end
end
end
Expand All @@ -113,7 +104,7 @@
ENV["CC"] = ENV["ac_cv_path_CC"] = OS.linux? ? "cc" : ENV.cc
ENV["CXX"] = ENV["ac_cv_path_CXX"] = OS.linux? ? "c++" : ENV.cxx
ENV["LD"] = ENV["MergeObjsCmd"] = "ld"
ENV["PYTHON"] = which("python3.12")
ENV["PYTHON"] = which("python3.13")

binary = buildpath/"binary"
resource("binary").stage do
Expand Down
Loading