Skip to content

Instantly share code, notes, and snippets.

@kwilczynski
Last active November 2, 2021 15:42
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kwilczynski/23935e69eb29be5f20ab37cc32bfd7ae to your computer and use it in GitHub Desktop.
Save kwilczynski/23935e69eb29be5f20ab37cc32bfd7ae to your computer and use it in GitHub Desktop.
Build Coccinelle from the source code
export PATH='/usr/local/bin:/usr/local/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'
cd ..
python3 -m venv coccinelle
cd -
. bin/activate
make clean
./autogen
autoreconf -i
OR
autoconf -i
autoheader
automake --add-missing
./configure --prefix='/usr' --enable-pcre-syntax
OR
./configure --prefix='/usr' --exec-prefix='/usr/bin' --enable-pcre-syntax
make -j$(nproc) # Sometimes breaks OCaml build!
OR
make
make DESTDIR='/tmp/coccinelle' install
OR
sudo make install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment