Re: Ocaml 3.08.2 & LablGTK2 : inconsistent assumptions over implementation Thread
> Well, if coqide is binary only and does not perform dynamic loading of
> bytecode objects there should be no problem with it.
It DOES perform dynamic loading of bytecode objects ;-)
(I know it for sure, but even a simple "grep Dynlink coqide.byte" shows it)
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: