--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2013 ---
2013/9/2 David Yang <abiao.yang at gmail.com>: > Right. So I used the Ocaml module named Unix to add the kernel file. > " > let in_channel = Unix.open_process_in "frama-c -print-share-path" in > let frama_c_share_path = Pervasives.input_line in_channel in > let filename = frama_c_share_path ^ "/libc/fc_runtime.c" in Inside a Frama-C script/plug-in, you don't need to do that: the information is directly accessible in the Config.datadir value (see src/kernel/config.mli for the list of configuration variables that are available). Best regards, -- E tutto per oggi, a la prossima volta Virgile