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
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
