From 4336465afb774b0c6e794248d4de14fd1062dfcb Mon Sep 17 00:00:00 2001
From: Raboneko <119771935+raboneko@users.noreply.github.com>
Date: Mon, 27 Apr 2026 20:58:25 -0500
Subject: [PATCH] add: ghc-bv (#11699) (#11710)

* fix (cagebreak): update dep



* add: ghc-language-bluespec



* add: ghc-bv



* add packager line



---------



(cherry picked from commit 5a4cbb34b382d4221607e18ae21aeeead49b98a8)

Signed-off-by: Owen-sz <owen@fyralabs.com>
Signed-off-by: Owen Zimmerman <123591347+Owen-sz@users.noreply.github.com>
Co-authored-by: Owen Zimmerman <123591347+Owen-sz@users.noreply.github.com>
---
 anda/langs/haskell/ghc-bv/anda.hcl    |   5 ++
 anda/langs/haskell/ghc-bv/ghc-bv.spec | 110 ++++++++++++++++++++++++++
 anda/langs/haskell/ghc-bv/update.rhai |   1 +
 3 files changed, 116 insertions(+)
 create mode 100644 anda/langs/haskell/ghc-bv/anda.hcl
 create mode 100644 anda/langs/haskell/ghc-bv/ghc-bv.spec
 create mode 100644 anda/langs/haskell/ghc-bv/update.rhai

diff --git a/anda/langs/haskell/ghc-bv/anda.hcl b/anda/langs/haskell/ghc-bv/anda.hcl
new file mode 100644
index 0000000000..a98449cf81
--- /dev/null
+++ b/anda/langs/haskell/ghc-bv/anda.hcl
@@ -0,0 +1,5 @@
+project pkg {
+  rpm {
+    spec = "ghc-bv.spec"
+  }
+}
diff --git a/anda/langs/haskell/ghc-bv/ghc-bv.spec b/anda/langs/haskell/ghc-bv/ghc-bv.spec
new file mode 100644
index 0000000000..d5700ac8b0
--- /dev/null
+++ b/anda/langs/haskell/ghc-bv/ghc-bv.spec
@@ -0,0 +1,110 @@
+# generated by cabal-rpm-2.3.2
+# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
+
+%global pkg_name bv
+%global pkgver %{pkg_name}-%{version}
+%{?haskell_setup}
+
+Name:           ghc-%{pkg_name}
+Version:        0.5
+Release:        1%{?dist}
+Summary:        Bit-vector arithmetic library
+
+License:        BSD-3-Clause
+URL:            https://hackage.haskell.org/package/bv
+# Begin cabal-rpm sources:
+Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
+# End cabal-rpm sources
+
+# Begin cabal-rpm deps:
+BuildRequires:  ghc-rpm-macros
+BuildRequires:  ghc-Cabal-devel
+BuildRequires:  ghc-base-devel
+%if %{with ghc_prof}
+BuildRequires:  ghc-base-prof
+%endif
+# End cabal-rpm deps
+
+Packager:       Owen Zimmerman <owen@fyralabs.com>
+
+%description
+Bit-vectors implemented as a thin wrapper over integers.
+
+
+%package devel
+Summary:        Haskell %{pkg_name} library development files
+Provides:       %{name}-static = %{version}-%{release}
+Provides:       %{name}-static%{?_isa} = %{version}-%{release}
+%if %{defined ghc_version}
+Requires:       ghc-compiler = %{ghc_version}
+%endif
+Requires:       %{name}%{?_isa} = %{version}-%{release}
+
+%description devel
+This package provides the Haskell %{pkg_name} library development files.
+
+
+%if %{with haddock}
+%package doc
+Summary:        Haskell %{pkg_name} library documentation
+BuildArch:      noarch
+Requires:       ghc-filesystem
+
+%description doc
+This package provides the Haskell %{pkg_name} library documentation.
+%endif
+
+
+%if %{with ghc_prof}
+%package prof
+Summary:        Haskell %{pkg_name} profiling library
+Requires:       %{name}-devel%{?_isa} = %{version}-%{release}
+Supplements:    (%{name}-devel and ghc-prof)
+
+%description prof
+This package provides the Haskell %{pkg_name} profiling library.
+%endif
+
+
+%prep
+# Begin cabal-rpm setup:
+%setup -q -n %{pkgver}
+# End cabal-rpm setup
+
+
+%build
+# Begin cabal-rpm build:
+%ghc_lib_build
+# End cabal-rpm build
+
+
+%install
+# Begin cabal-rpm install
+%ghc_lib_install
+# End cabal-rpm install
+
+
+%files -f %{name}.files
+# Begin cabal-rpm files:
+%license LICENSE
+# End cabal-rpm files
+
+
+%files devel -f %{name}-devel.files
+%doc CHANGES.md README.md
+
+
+%if %{with haddock}
+%files doc -f %{name}-doc.files
+%license LICENSE
+%endif
+
+
+%if %{with ghc_prof}
+%files prof -f %{name}-prof.files
+%endif
+
+
+%changelog
+* Tue Apr 28 2026 Owen Zimmerman <owen@fyralabs.com> - 0.5-1
+- Initial commit
diff --git a/anda/langs/haskell/ghc-bv/update.rhai b/anda/langs/haskell/ghc-bv/update.rhai
new file mode 100644
index 0000000000..b9eef8f71e
--- /dev/null
+++ b/anda/langs/haskell/ghc-bv/update.rhai
@@ -0,0 +1 @@
+rpm.version(hackage("bv"));