pav 2012-06-26 20:55:55 UTC FreeBSD ports repository Modified files: devel/frama-c Makefile Log: - Mark BROKEN: does not build The field `compare' is required but not provided gmake: *** [src/misc/service_graph.cmo] Error 2 Reported by: pointyhat Revision Changes Path 1.5 +2 -0 ports/devel/frama-c/Makefile