Setup Modify the various uses of C0_ROOT and C0_PREFIX (in the Makefile, c0-integration/src/main.rs, etc...) to correctly point to your C0 installation. make make install