On Sun, 14 Jun 2020, Mike Galbraith wrote:
> 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:
Thanks for all the information!
julia
>
> 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
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
