Yes, you can use the directive in the file, as well as set a different value. Try this on line one or two:
// -*- compile-command: "gcc -Wall -O3 -of file.c" -*-
and then reload the file using Cx v for this option to take effect.
Sometimes I also add things like c-indent-level: 4; c-basic-offset: 4; c-indent-level: 4; c-basic-offset: 4; .
source share