Hey Alon!
I have a question. We currently have our CI setup to compile specific
versions that we define (currently we're running on `1.38.31`) using `emsdk
install sdk-tag-${VERSION}-64bit`. We're currently running into a little
problem after updating one of our dependencies and I figured I should just
simply try out the latest version and hope it'll work. But it doesn't seem
like we can do a `emsdk install sdk-tag-1.38.33-64bit` anymore - it says
the version doesn't exist.
Is this intended like this and from now on only `latest` is supported? This
would be a little problematic for us as we really would like to pin down
our versions (we previously had trouble with new versions introducing new
bugs).
Thanks for all your work, we all at PSPDFKit really appreciate it :)
Patrik
On Wednesday, May 29, 2019 at 1:45:45 PM UTC-4, Alon Zakai wrote:
>
> If you get emsdk master, and do
>
> emsdk install latest
> emsdk activate latest
>
> then it will install 1.38.33 (or later, if there is one by the time you
> read this) from the new emscripten-releases build infrastructure. We've
> done some early testing recently as mentioned here:
>
> https://groups.google.com/d/msg/emscripten-discuss/WhDtqVyW_Ak/8DfDnfk0BgAJ
>
> After fixing some issues, there seem to be no showstoppers, so this is us
> moving to the next stage in the transition from the old builders to the new
> ones. (If all goes well then the stage after this will be to remove those
> old builders.)
>
> Please report any issues you see!
>
> Known issue: "no version information" warning on some linux machines,
> https://github.com/emscripten-core/emscripten/issues/8697, that we need
> to figure out.
>
> - Alon
>
>
>
--
You received this message because you are subscribed to the Google Groups
"emscripten-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to emscripten-discuss+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/emscripten-discuss/04241de6-3244-4c6f-b9ce-064d790815c6%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
