Skip to content

Conversation

@TeofilC
Copy link

@TeofilC TeofilC commented Dec 16, 2025

No description provided.

IOHK and others added 30 commits July 1, 2025 00:51
This was broken by the removal of the index-state pin for hadrian in input-output-hk#2268
* Update Default Setup

* Add comment

* Update sublib-docs test

* Fix GHC 9.6.7 --this-unit-id problem for GHCJS cross compiles
* Update shellFor documentation

Fixes input-output-hk#2401

* Update docs/reference/library.md

Co-authored-by: Copilot <[email protected]>

---------

Co-authored-by: Copilot <[email protected]>
* Add ghc9122llvm to ci

Fixes input-output-hk#2404

* Disable failing test
* Fix aarch64 musl TH code that uses C++

* There is still an issue with cross compiling (not C++ related)

* There is still an issue with cross compiling (not C++ related)
* Improve `hix flake check`

Adds:
  `--supportedSystems`
  `--overlays`
  `--config`

To allow more control of the flake from the command line.

* Bump head.hackage
…2414)

* Fix TH code in checks for android cross compilation

* Update builder/comp-builder.nix

Co-authored-by: Copilot <[email protected]>

* Update lib/check.nix

Co-authored-by: Copilot <[email protected]>

---------

Co-authored-by: Copilot <[email protected]>
* overlays/musl.nix: Tidyup

* overlays/musl.nix: Respect configureFlags when overriding numactl
IOHK and others added 29 commits November 26, 2025 00:51
* Fix nixpkgs warnings

* Fix missing `lib`
* Add nixpkgs-2511

* Skip tests for GHC using older LLVM versions no longer in nispkgs

* Use NDK 27

* Skip android tests that require old LLVM versions
…nput-output-hk#2447)

* Add a flag "enableIPE" to enable the IPE hadrian flavor

* Add extraFlavourTransformers option to GHC config (closes input-output-hk#2425)
Before we didn't actually include lld in the environment.
Let's add that to the nativeBuildInputs if the compiler is using lld.
)

* Add prebuilt-depends for proprietary dependencies.

* fixup! Add prebuilt-depends for proprietary dependencies.

Add commentary
@TeofilC TeofilC merged commit 2aa632d into circuithub Dec 17, 2025
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.