--- layout: fc_discuss_archives title: Message 63 from Frama-C-discuss on February 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] bsd/gmake in Jessie (was: Check for gmake)



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