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

Set default llvm version to 15 #212

Merged
merged 2 commits into from
Jul 18, 2023
Merged

Conversation

serkm
Copy link
Contributor

@serkm serkm commented Dec 19, 2022

No description provided.

@b-studios
Copy link
Collaborator

One test is failing for me locally: effekt.LLVMTests.examples/llvm/forking.effekt.

@b-studios
Copy link
Collaborator

==> X effekt.LLVMTests.examples/llvm/forking.effekt (llvm)  0.306s java.lang.RuntimeException: Nonzero exit value: 134
    at scala.sys.process.ProcessBuilderImpl$AbstractBuilder.slurp(ProcessBuilderImpl.scala:164)
    at scala.sys.process.ProcessBuilderImpl$AbstractBuilder.$bang$bang(ProcessBuilderImpl.scala:121)
    at effekt.Driver.evalLLVM(Driver.scala:155)
    at effekt.Driver.evalLLVM$(Driver.scala:25)
    at effekt.LLVMTests$$anon$1.evalLLVM(LLVMTests.scala:31)
    at effekt.Driver.eval(Driver.scala:109)
    at effekt.Driver.eval$(Driver.scala:25)
    ```

@serkm serkm force-pushed the llvm-version branch 2 times, most recently from 43ee041 to 33adc00 Compare July 12, 2023 17:49
@serkm
Copy link
Contributor Author

serkm commented Jul 12, 2023

CI on the main branch fails due to the install script switching to llvm 16.
I've changed it to install version 15 explicitly.

@serkm
Copy link
Contributor Author

serkm commented Jul 12, 2023

@b-studios honestly, I don't know what could have caused that failure.
Version 12 shouldn't work at all at this point, and if 15 is already in use, this shouldn't change anything.

@b-studios
Copy link
Collaborator

Ok, let's just merge this and I'll try to figure it out on my end.

@b-studios b-studios merged commit cc3678a into effekt-lang:master Jul 18, 2023
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.

None yet

2 participants