Skip to content
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

build: set USE_GPL_LIBS=0 for x86_64-w64-mingw32nogpl #350

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

inkydragon
Copy link
Contributor

@inkydragon inkydragon commented Apr 25, 2024

CI :windows: build x86_64-w64-mingw32nogpl passed, because the USE_GPL_LIBS=0 flag is not

Use same flags as macOS:

macos x86_64-apple-darwinnogpl x86_64 USE_GPL_LIBS=0,JL_CFLAGS=-Werror,JL_CXXFLAGS=-Werror .

@DilumAluthge DilumAluthge added automerge Kodiak will auto-merge this PR once all CI is green. (This label was previously called "merge me".) and removed automerge Kodiak will auto-merge this PR once all CI is green. (This label was previously called "merge me".) labels Oct 26, 2024
@DilumAluthge
Copy link
Member

Actually, let's make sure that the no-GPL build is green before we add the automerge label.

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