On Thu, Nov 29, 2018 at 11:03:28am +0100, Luc Van Oostenryck wrote: > On Mon, Nov 26, 2018 at 10:49:09AM +0300, Dan Carpenter wrote: > > It looks like everything was BCC instead of To: and Cc:? I can't tell > > which went to linux-sparse and which smatch@xxxxxxxxxxxxxxx. Smatch is > > GPL and Sparse is MIT, but any shared code is MIT licensed. > > > > I would like to sync with upstream Sparse, but I tried a couple months > > back and it got complicated so I have procrastinated. > > Hi Dan, > > It would indeed be good to sync smatch & sparse and I would be ready, > if needed, to make some changes to sparse to make it easier. > There is also several ways to do that. I'm wondering if you > have already considered to simply remove anything related to > sparse from smatch's tree and install sparse as a seperate library? Right now I at least have changes in sparse that are very much smatch-dependent, so this would be a real pain for me... regards john
