On 6/14/20 11:21 AM, 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: > > 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. >
Thanks, Mike. It seems to be working now. -- ~Randy _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
