installation problem with Ubuntu 20.04
make distclean && ./autogen && ./configure && make && sudo make install ends with
/usr/bin/install -c -m 644 python/coccilib/*.py \
/usr/local/lib/coccinelle/python/coccilib
/usr/bin/install: target '/usr/local/lib/coccinelle/python/coccilib' is not a directory
Manually making the python/coccilib directory solves the problem, but is obviously not an ideal solution.