Re: Proposal: reinstate pre-built PLT for Dialyzer
Tuncer Ayaz <[email protected]> Thu, 4 Jun 2015 20:18:07 +0200
| Newsgroups | gmane.comp.lang.erlang.patches,gmane.comp.lang.erlang.general |
|---|---|
| Message-ID | <CAOvwQ4jiuJmksQ4JtrPWcZkMS8qFKogX9tuA8O5sLR0MSoYgwA@mail.gmail.com> |
On Thu, Jan 23, 2014 at 5:34 PM, Tuncer Ayaz <[email protected]> wrote: > On Thu, Jan 23, 2014 at 5:19 PM, Sean Cribbs <[email protected]> wrote: >> On Thu, Jan 23, 2014 at 9:56 AM, Tuncer Ayaz <[email protected]> wrote: >>> >>> BTW, assuming this gets off the ground, would you suggest >>> distributing the PLT with the tarball or in the git tree? I think >>> the src tarball and maybe a separate tarball make more sense. For >>> reference, my local R16B03 PLT is 4MB. This would also be in line >>> with other generated files like configure scripts (what's generated >>> vs what's edited). In the git tree it would only make sense to be >>> included in a tagged tree, but that may be confusing, so release >>> tarballs make the most sense to me. >> >> >> Neither. If you build OTP from source, it would be built during the >> normal build/install process. If you download a prebuilt binary >> package (Windows or something from ESL or a distribution >> maintainer), the PLT should be included in that package. > > That sounds good to me. bump? _______________________________________________ erlang-patches mailing list [email protected] http://erlang.org/mailman/listinfo/erlang-patches