Re: [PATCH] Makefile: Install database in a share directory

Heh...  Wow.  So sorry.  I don't know what went wrong.  Fixed now.

regards,
dan carpenter

On Sun, Aug 23, 2020 at 10:22:29PM -0700, Gwendal Grignou wrote:
> Dan,
> 
> I don't see the patch applied in https://repo.or.cz/smatch.git/tree.
> Is it in a different git tree?
> 
> Regards,
> Gwendal
> 
> On Wed, Jun 10, 2020 at 11:08 AM Dan Carpenter <[email protected]> wrote:
> >
> > On Tue, Jun 09, 2020 at 08:08:50PM -0700, Gwendal Grignou wrote:
> > > 'make install' installs the database .schema files and other assets at
> > > $DESTDIR/$(SHAREDIR)/smatch/smatch_data,
> > > /usr/share/smatch/smatch_data by default.
> > >
> > > This way the source code tree does not need to be present to run smatch,
> > > and --data is not required as smatch is compiled to look for data assets
> > > at the above location, in addition to the local directory.
> > >
> > > Signed-off-by: Gwendal Grignou <[email protected]>
> >
> > Thanks so much.  Applied.
> >
> > regards,
> > dan carpenter
> >