--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on February 2010 ---
'Lo, I've just run up against another problem with an assumption that 'make' is GNU make in the Jessie plugin. I'm not sure how to fix this one, however: $ frama-c -jessie bin_copy.c [kernel] preprocessing with "gcc -C -E -I. -dD bin_copy.c" [jessie] Starting Jessie translation [kernel] No code for function __assert, default assigns generated [jessie] Producing Jessie files in subdir bin_copy.jessie [jessie] File bin_copy.jessie/bin_copy.jc written. [jessie] File bin_copy.jessie/bin_copy.cloc written. [jessie] Calling Jessie tool in subdir bin_copy.jessie Generating Why function bin_copy [jessie] Calling VCs generator. "bin_copy.makefile", line 128: Need an operator make: fatal errors encountered -- cannot continue [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? M