--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on May 2014 ---
>> >> Any idea when this will be available in opam? > > It is now, sorry for the delay. > > We had problems with one of our dependencies and, when solved, I forgot to pull-request the new package. > > Have a nice "opam upgrade?, Thanks for the upgrade. The only problem I see is that coq (which I use with WP) does not build with opam under OSX. There seems to be an issue with clang and the option "-fno-defer-pop" # clang: error: unknown argument: '-fno-defer-pop' [-Wunused-command-line-argument-hard-error-in-future] # clang: note: this will be a hard error (cannot be downgraded to a warning) in the future # make[1]: *** [kernel/byterun/coq_fix_code.o] Error 2 # make: *** [world] Error 2 But I understand that this is more an action item for the Coq people? As far as I can see, they are aware of the problem but have not provided a solution yet. Regards Jens