Skip to content

fix(aarch64-msvc support): include path for UnicodeCLib in lakefile#130

Merged
fgdorais merged 1 commit intofgdorais:mainfrom
SrGaabriel:main
Mar 23, 2026
Merged

fix(aarch64-msvc support): include path for UnicodeCLib in lakefile#130
fgdorais merged 1 commit intofgdorais:mainfrom
SrGaabriel:main

Conversation

@SrGaabriel
Copy link
Copy Markdown
Contributor

I got this error message in my aarch64-pc-windows-msvc system and this PR fixes it at no cost for other systems:

✖ [236/239] Building UnicodeBasic/UnicodeCLib
trace: .> cc -c -o C:\Users\gaabr\Developer\soma\souls\.lake\packages\UnicodeBasic\.lake\build\UnicodeCLib\case.o C:\Users\gaabr\Developer\soma\souls\.lake\packages\UnicodeBasic\UnicodeCLib\case.c -I c:\Users\gaabr\.elan\toolchains\leanprover--lean4---v4.28.0\include -O -fPIC
info: stderr:
C:\Users\gaabr\Developer\soma\souls\.lake\packages\UnicodeBasic\UnicodeCLib\case.c:2:10: fatal error: basic.h: No such file or directory
    2 | #include "basic.h"
      |          ^~~~~~~~~
compilation terminated.
error: external command 'cc' exited with code 1
trace: .> cc -c -o C:\Users\gaabr\Developer\soma\souls\.lake\packages\UnicodeBasic\.lake\build\UnicodeCLib\prop.o C:\Users\gaabr\Developer\soma\souls\.lake\packages\UnicodeBasic\UnicodeCLib\prop.c -I c:\Users\gaabr\.elan\toolchains\leanprover--lean4---v4.28.0\include -O -fPIC
info: stderr:
C:\Users\gaabr\Developer\soma\souls\.lake\packages\UnicodeBasic\UnicodeCLib\prop.c:2:10: fatal error: basic.h: No such file or directory
    2 | #include "basic.h"
      |          ^~~~~~~~~
compilation terminated.
error: external command 'cc' exited with code 1
Some required targets logged failures:
- UnicodeBasic/UnicodeCLib
error: build failed

@fgdorais
Copy link
Copy Markdown
Owner

Thanks!

@fgdorais fgdorais merged commit 81c5840 into fgdorais:main Mar 23, 2026
1 check passed
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.

2 participants