Re: [Cocci] coccinelle issues

[Mike Galbraith <umgwanakikbuti@gmail.com>]

On Sun, 2020-06-14 at 14:59 +0200, Julia Lawall wrote:
> 
> On Sun, 14 Jun 2020, Mike Galbraith wrote:
> 
> > On Sun, 2020-06-14 at 10:43 +0200, Julia Lawall wrote:
> > >
> > > What is your Linux distribution?
> >
> > openSUSE Leap-15.1
> 
> Our CI already has an entry for openSUSE Leap.  We will look into it, but
> if you have any further information about the problem, please let us know.

Executive Summary:

warning: Can't find macro file: /usr/local/coccinelle/bin/../lib/coccinelle/standard.h
warning: Can't find default iso file: /usr/local/coccinelle/bin/../lib/coccinelle/standard.iso

I find those under lib64, apply symlink bandaid, proggy acks.

WRT the HEAD make install booboo..

git@homer:~/coccinelle> sudo make install
mkdir -p /usr/local/coccinelle/bin /usr/local/coccinelle/lib64/coccinelle
mkdir -p /usr/local/coccinelle/lib64/coccinelle/ocaml
if test -f bundles/pyml/dllpyml_stubs.so; then \
        /usr/bin/install -c -m 755 bundles/pyml/dllpyml_stubs.so \
                /usr/local/coccinelle/lib64/coccinelle; \
fi
if test -f bundles/pcre/dllpcre_stubs.so; then \
        /usr/bin/install -c -m 755 bundles/pcre/dllpcre_stubs.so \
                /usr/local/coccinelle/lib64/coccinelle; \
fi
/usr/bin/install -c -m 755 spatch.opt /usr/local/coccinelle/bin/spatch
/usr/bin/install -c -m 644 standard.h /usr/local/coccinelle/lib64/coccinelle
/usr/bin/install -c -m 644 standard.iso /usr/local/coccinelle/lib64/coccinelle
/usr/bin/install -c -m 644 ocaml/*.cmi /usr/local/coccinelle/lib64/coccinelle/ocaml/
if test -f ocaml/coccilib.cmx; then \
        /usr/bin/install -c -m 644 ocaml/*.cmx /usr/local/coccinelle/lib64/coccinelle/ocaml/; \
fi
/usr/bin/install -c -m 755 tools/spgen/source/spgen.opt \
         /usr/local/coccinelle/bin/spgen
/usr/bin/install -c -m 644 python/coccilib/*.py \
        /usr/local/coccinelle/lib64/coccinelle/python/coccilib
/usr/bin/install: target '/usr/local/coccinelle/lib64/coccinelle/python/coccilib' is not a directory
make: *** [Makefile:332: install-python] Error 1

mkdir -p bandaid worked.
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci