--- layout: fc_discuss_archives title: Message 62 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)



> [jessie] user error: Jessie subprocess failed: make -f bin_copy.makefile gui
>
> Obviously the problem there is with 'make -f'.
>
> Any ideas for a possible solution?

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 "$@"

Pascal