This is the mail archive of the
cygwin
mailing list for the Cygwin project.
Re: [Caml-list] problems linking with ocamlopt 4.00.1
- From: Corinna Vinschen <corinna-cygwin at cygwin dot com>
- To: cygwin at cygwin dot com
- Date: Tue, 11 Jun 2013 17:27:57 +0200
- Subject: Re: [Caml-list] problems linking with ocamlopt 4.00.1
- References: <A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897 at gaia> <44D879F2-2796-44F5-A4D9-841AAAA5C4A5 at inria dot fr>
- Reply-to: cygwin at cygwin dot com
On Jun 11 17:18, Damien Doligez wrote:
> Hi,
>
> On 2013-06-09, at 17:49, Per Larsson wrote:
>
> > I get the following error message when trying to link with the native compiler:
> >
> > ocamlopt -o mlok2hll-1 -warn-error +A -annot str.cmxa util.cmx error.cmx id.cmx mlok.cmx parse.cmx lex.cmx hll.cmx compile.cmx main.cmx
> > ** Cannot resolve symbols for /usr/lib/ocaml/libasmrun.a(freelist.o):
> > ___chkstk_ms
> > ** Cannot resolve symbols for /usr/lib/ocaml/libasmrun.a(md5.o):
> > ___chkstk_ms
> > ** Cannot resolve symbols for /usr/lib/ocaml/libasmrun.a(sys.o):
> > ___chkstk_ms
> > File "caml_startup", line 1:
> > Error: Error during linking
> >
> > There is nothing special with the inputs above, I get the same error with other tested ocaml projects. I've used the ocaml package from the cygwin package loader. Maybe I'm doing something wrong? Is there some new library with must be loaded from version 4.0
>
> This ___chkstk_ms business is inserted by gcc and should be part of the C runtime library. Which version of gcc do you have? On cygwin, OCaml needs gcc version 4.7.2 because of an unknown problem with the gcc-4.5.3-3 package.
Ouch! As long as gcc 4.7.2 is not the defualt compiler, that's kind
of borderline since you force people to install the test release of gcc.
Granted, it's time we get a 4.7 or 4.8 based gcc ASAP...
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Maintainer cygwin AT cygwin DOT com
Red Hat
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple