CVSROOT: /cvs Module name: ports Changes by: [email protected] 2014/09/30 13:28:27
Modified files:
devel/frama-c : Makefile
Log message:
BROKEN-powerpc + BROKEN-alpha:
Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma
CVSROOT: /cvs Module name: ports Changes by: [email protected] 2014/09/30 13:28:27
Modified files:
devel/frama-c : Makefile
Log message:
BROKEN-powerpc + BROKEN-alpha:
Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma