--- layout: fc_discuss_archives title: Message 63 from Frama-C-discuss on February 2010 ---
On 2010-02-27 22:36:39, Pascal Cuoq wrote: > If by "solution" you mean "ugly workaround", how about inserting in > your PATH the name of a directory with a shell script named "make" > that calls: > gmake "$@" Heh, I actually meant "non-ugly workaround". Presumably there's a sane way to handle this in the software. I'm just not familiar enough with the code to actually make a change like that. Unfortunately, overriding 'make' by putting anything in $PATH will basically break my whole system (BSD and BSD make are pretty intimate!). Perhaps an optional environment variable, such as $JESSIE_MAKE_BIN? Regards, M