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

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
>