--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on April 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Change makefile for typerex



Hello,

has anybody sucessfully used ocamlpro's typerex-mode to navigate the
Frama-C source tree?

Also, which changes are needed for my plugin-makefile or the master
makefile to use ocp-ocamlc -m instead of ocamlc?
-- 
Best regards,
Boris