Skip to content

feat: use compliant llvm + tket artifacts from hugrverse-env #1471

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
aborgna-q merged 44 commits into from
Apr 7, 2026
Merged

feat: use compliant llvm + tket artifacts from hugrverse-env #1471

Show file tree
Hide file tree
Changes from 36 commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
2665af6
Use hugrverse-env to source llvm builds, bring manylinux compliance b…
jake-arkinstall Mar 25, 2026
dc6ff98
Neaten up python-wheels.yml
jake-arkinstall Apr 1, 2026
c9539f0
Correct mkdir invocation in python-wheels.yml
jake-arkinstall Apr 1, 2026
9474d90
Fix devenv path, allow lib and lib64 paths for shared libraries, avoi…
jake-arkinstall Apr 1, 2026
86d3f96
Bump to hugrenv 0.3.1 (GMP removal)
jake-arkinstall Apr 1, 2026
8b4cc3c
Remove conan as a default dev package, test wheels in a fresh location
jake-arkinstall Apr 2, 2026
60c49aa
Set DYLD_LIBRARY_PATH to point to hugrenv when running delocate on macos
jake-arkinstall Apr 2, 2026
473b006
LD_LIBRARY_PATH fixes, add explicit tket.lib dependency on windows in…
jake-arkinstall Apr 2, 2026
1104c73
uv sync, update snapshots
jake-arkinstall Apr 2, 2026
e83908b
Don't flood LD_LIBRARY_PATH for non-build environments (as pytket's l…
jake-arkinstall Apr 2, 2026
dfaa475
Add extra windows deps, don't overwrite pytket deps when testing python
jake-arkinstall Apr 2, 2026
d3f4667
Try new windows beta release of hugrverse-env
jake-arkinstall Apr 2, 2026
389973d
Re-apply copying of tket_c_api.dll to wheel in windows
jake-arkinstall Apr 2, 2026
7d53ab2
Add hugrenv utilities
jake-arkinstall Apr 4, 2026
38f433d
Move install-hugrenv action to actions dir
jake-arkinstall Apr 4, 2026
c2e0b75
Terminate for loop in install-hugrenv action
jake-arkinstall Apr 4, 2026
a11052e
mkdir
jake-arkinstall Apr 4, 2026
38f34f5
Add hugrverse_env to path env vars, fixup python-qis-wheels.yml
jake-arkinstall Apr 4, 2026
ec56c93
Remove unused caching in qis-compiler, s/macos/macosx/, correct paths…
jake-arkinstall Apr 4, 2026
afb7664
Make install-hugrenv detect platform rather than accept info as inputs
jake-arkinstall Apr 4, 2026
179de4c
Correctly set install_path
jake-arkinstall Apr 4, 2026
39254e2
Move extraction path to /tmp/hugrverse to avoid macos permission issues
jake-arkinstall Apr 4, 2026
2b73bd4
Move LLVM to use hugrenv's version rather than nixpkgs' version, unbi…
jake-arkinstall Apr 5, 2026
9ecacc7
Correct windows PATH in CIBW
jake-arkinstall Apr 5, 2026
07aea4f
Fix windows PATH in CIBW (again)
jake-arkinstall Apr 5, 2026
11ee8d9
Restore manylinux_2_28 flag on ARM python-wheels builds, set windows …
jake-arkinstall Apr 5, 2026
494c81a
Don't weakly prefer uv install tket from the built wheel - require it…
jake-arkinstall Apr 5, 2026
fd5bf7e
Use a venv instead of uv for testing python wheel import, and manuall…
jake-arkinstall Apr 5, 2026
6d778a8
Try using remote action for installing hugrenv
jake-arkinstall Apr 5, 2026
5e251d5
Typo fix
jake-arkinstall Apr 5, 2026
17ac5be
Typo fix
jake-arkinstall Apr 5, 2026
e1cd48a
Set MACOSX_DEPLOYMENT_TARGET, use unified venv invocation when testin…
jake-arkinstall Apr 6, 2026
e71d05d
Update hugrenv to 0.5.0 (with macos 11 compliance), utilise new hugre…
jake-arkinstall Apr 6, 2026
3cdfe5d
Merge branch 'main' into feat/compliant-llvm
jake-arkinstall Apr 6, 2026
9bceef6
Use main branch of install-hugrenv
jake-arkinstall Apr 6, 2026
650c55b
Update hugrenv.nix to take the macosx deployment target 15->11 change…
jake-arkinstall Apr 7, 2026
398d2f3
Remove unnecessary LD_LIBRARY_PATH stripping in ci.yml - python wheel…
jake-arkinstall Apr 7, 2026
c9e7f6a
Update comments in python-wheels.yml for clarity
jake-arkinstall Apr 7, 2026
b45679b
feat: add local hugrenv fetch command and dev docs (#1500)
Copilot Apr 7, 2026
f879689
Merge branch 'main' into feat/compliant-llvm
jake-arkinstall Apr 7, 2026
8c89fd9
Point to new location for the install-hugrenv-action
jake-arkinstall Apr 7, 2026
613eee9
Satisfy mypy in scripts/fetch_hugrenv.py
jake-arkinstall Apr 7, 2026
3d7119a
Satisfy ruff
jake-arkinstall Apr 7, 2026
9386975
Satisfy ruff (cont.d)
jake-arkinstall Apr 7, 2026
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
235 changes: 0 additions & 235 deletions .github/actions/tket-c-api/action.yml
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions .github/change-filters.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ rust-core: &rust-core
- "tket/**"
- "Cargo.toml"
- "Cargo.lock"
- "hugrenv.lock"

rust:
- *rust-core
Expand Down
13 changes: 4 additions & 9 deletions .github/workflows/build_docs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,12 +17,6 @@ permissions:
env:
UV_VERSION: "0.9.7"
UV_FROZEN: 1
# Path to the cached tket-c-api library
# When this envvar is set, the `./.github/actions/tket-c-api` action **must** be run to fetch the artifacts
# This config is not required, but speeds up the build by caching the tket-c-api library
# The alternative is to install conan and remove the env var
TKET_C_API_PATH: "${{ github.workspace }}/tket-c-api"
LD_LIBRARY_PATH: ${{ github.workspace }}/tket-c-api/lib

jobs:
# Check if changes were made to the relevant files.
Expand Down Expand Up @@ -51,10 +45,11 @@ jobs:
- uses: extractions/setup-just@v3
with:
just-version: "1.40.0"
- name: Install tket-c-api library
uses: ./.github/actions/tket-c-api


- uses: quantinuum/hugrverse-env/.github/actions/install-hugrenv@main
Copy link
Copy Markdown
Collaborator

@aborgna-q aborgna-q Apr 7, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a nitpick, but we could have install-hugrenv at the root of the repo so the callpoints are cleaner.

Copy link
Copy Markdown
Contributor Author

@jake-arkinstall jake-arkinstall Apr 7, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

agree, will do that now

with:
install-path: ${{ env.TKET_C_API_PATH }}
packages: "tket"

- name: Install uv
uses: astral-sh/setup-uv@v7
Expand Down
Loading
Loading