Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Use Eio for parallelizing some analysis commands#7840

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.

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

Already on GitHub?Sign in to your account

Open
zth wants to merge18 commits intomaster
base:master
Choose a base branch
Loading
fromanalysis-eio
Open
Changes from1 commit
Commits
Show all changes
18 commits
Select commitHold shift + click to select a range
8c01864
use Eio for parllelising the find references command
zthSep 4, 2025
951b61d
properly lock
zthSep 4, 2025
efec169
refactor
zthSep 4, 2025
ea3636f
add eio to dune
zthSep 4, 2025
4fc600e
move required OCaml version to 5.3
zthSep 4, 2025
63ceb38
add dep
zthSep 4, 2025
2357c2e
attempt to fix Eio setup
zthSep 5, 2025
58d1393
try to fix CI
zthSep 5, 2025
966836b
ci
zthSep 5, 2025
b956b14
ci
zthSep 5, 2025
0663fc5
try removing explicit eio_main dep
zthSep 5, 2025
b265377
revert removing eio_main, and try removing depends 5.3 from the compi…
zthSep 5, 2025
1c1e299
tweak
zthSep 5, 2025
97f9e2b
unecessary change
zthSep 5, 2025
4d74fcc
changelog
zthSep 5, 2025
4352708
get rid of global locks in favor of domain local caches
zthSep 6, 2025
8d9d7f0
cleanup
zthSep 8, 2025
a72edaf
domain local cache for typeToString as well
zthSep 12, 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
PrevPrevious commit
NextNext commit
try to fix CI
  • Loading branch information
@zth
zth committedSep 5, 2025
commit58d1393e66b9297b4d09bf0f3d85f6f3e8f4ea1e
9 changes: 7 additions & 2 deletions.github/workflows/ci.yml
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -96,7 +96,7 @@ jobs:
uses: awalsh128/cache-apt-pkgs-action@v1.4.3
with:
# See https://github.com/ocaml/setup-ocaml/blob/b2105f9/packages/setup-ocaml/src/unix.ts#L9
Copy link

CopilotAISep 5, 2025

Choose a reason for hiding this comment

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

The addition oflinux-libc-dev dpkg-dev packages should include a comment explaining why these specific packages are needed for the OCaml 5.3/Eio build requirements.

Copilot uses AI. Check for mistakes.
Copy link
MemberAuthor

Choose a reason for hiding this comment

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

Can you fix this Copilot?

packages: bubblewrap darcs g++-multilib gcc-multilib mercurial musl-tools rsync
packages: bubblewrap darcs g++-multilib gcc-multilib mercurial musl-tools rsync linux-libc-dev dpkg-dev
version: v3

- name: Restore rewatch build cache
Expand DownExpand Up@@ -256,7 +256,12 @@ jobs:

- name: Build compiler (Linux static)
if: runner.os == 'Linux'
run: opam exec -- dune build --display quiet --profile static
run: |
# ocaml-option-static sets CC=musl-gcc. On Ubuntu multiarch, Linux UAPI headers
# live under /usr/include/$(dpkg-architecture -qDEB_HOST_MULTIARCH), which musl-gcc
# doesn't search by default. Inject that include dir only for this build via CC.
arch=$(dpkg-architecture -qDEB_HOST_MULTIARCH)
CC="musl-gcc -idirafter /usr/include/$arch" opam exec -- dune build --display quiet --profile static

- name: Delete stable compiler build state
if: github.event_name == 'push' && github.ref == 'refs/heads/master'
Expand Down
Loading

[8]ページ先頭

©2009-2025 Movatter.jp