Ok, thanks for the clarification. On Thu, Aug 13, 2015 at 8:35 PM, Alon Zakai <[email protected]> wrote:
> The docs are a little overly cautious. It is safe to build source files > with different LLVM optimizations, like some with -O3, some with -O0, -Os, > etc. > > In general you should build libraries the same as for any other platform. > In ports, I think most are -O2 (automatically, you don't need to do > anything for them). > > On Thu, Aug 13, 2015 at 3:39 AM, Peter Nemeth <[email protected]> > wrote: > >> Hi, >> >> I'm wondering how do you manage precompiled libraries which you don't >> want to recompile every time, a la emscripten-ports. >> >> My issue is with the optimization levels, more accurately the difference >> in them. As stated in the docs: >> >> If you compile several files into a single JavaScript output, be sure to >>> specify the same optimization flags when compiling sources into objects, >>> and objects into JavaScript or HTML. >>> >> >> Do you keep several versions with different optimization levels and >> always choose the appropriate one? >> >> How does it work with emscripten-ports? I don't remember it rebuilding >> the sources if I change optimization level after the initial build. >> >> Bests, Peter >> >> -- >> 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 [email protected]. >> For more options, visit https://groups.google.com/d/optout. >> > > -- > You received this message because you are subscribed to a topic in the > Google Groups "emscripten-discuss" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/emscripten-discuss/hiDzPfMetps/unsubscribe > . > To unsubscribe from this group and all its topics, send an email to > [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
