From: "George Necula" <necula@eecs.berkeley.edu>
To: <caml-list@yquem.inria.fr>
Subject: RE: [Caml-list] Compiling latest cvs version of ocaml on cygwin
Date: Thu, 28 Sep 2006 11:39:59 -0700 [thread overview]
Message-ID: <C43B79035877954895EE17C18AA9069A015B52E8@fontus.eecs.berkeley.edu> (raw)
In-Reply-To: <Pine.GSO.4.63.0609281318110.15013@access1.cims.nyu.edu>
Hi,
Ok, I am glad that I am not alone. For now I use 3.09.3 (which
compiled for me) and I will watch out for announcements when I can
compile the HEAD of the revision tree.
Unfortunately, I need camlp4 because I am hacking on Coq.
George.
> -----Original Message-----
> From: Igor Peshansky [mailto:pechtcha@cs.nyu.edu]
> Sent: Thursday, September 28, 2006 10:23 AM
> To: George Necula
> Cc: caml-list@yquem.inria.fr
> Subject: Re: [Caml-list] Compiling latest cvs version of
> ocaml on cygwin
>
> On Thu, 28 Sep 2006, George Necula wrote:
>
> > I am trying to compile the latest cvs version of ocaml sources on
> > cygwin. I get the following error messag:
> >
> > cd camlp4; make all
> > make[1]: Entering directory
> > `/cygdrive/c/Programs/ocaml-cvs-cygwin/camlp4'
> > ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/win32unix
> > ../ocaml -I ../stdlib -I ../otherlibs/unix build/build.ml
> Cannot load
> > required shared library dllunix.
> > Reason: dynamic loading not supported on this platform.
> > Reference to undefined global `Unix'
> >
> > Does anybody know if there is an easy fix?
> >
> > BTW, I need the cvs version because of some fixes that
> did not make
> > it in 3.09.3
>
> George,
>
> Neither 3.09.3 nor the current cvs HEAD compiled OOTB under
> Cygwin with full fuctionality. I've made some changes that
> enabled dynamic loading, etc, for the currently released
> package. I also had a more extensive set of changes that
> allowed a more seamless integration with Cygwin, but those
> apparently broke the one major user of O'Caml under Cygwin
> (namely Unison), and I had no chance to investigate that. I
> don't have much time to work on it right now, but I can
> certainly send you the patch I used.
> Please let me know if you succeed in adapting it for cvs HEAD.
>
> Igor Peshansky, the Cygwin O'Caml maintainer
> --
> http://cs.nyu.edu/~pechtcha/
> |\ _,,,---,,_ pechtcha@cs.nyu.edu |
> igor@watson.ibm.com
> ZZZzz /,`.-'`' -. ;-;;,_ Igor Peshansky, Ph.D.
> (name changed!)
> |,4- ) )-,_. ,\ ( `'-' old name: Igor Pechtchanski
> '---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
>
> "Las! je suis sot... -Mais non, tu ne l'es pas, puisque tu
> t'en rends compte."
> "But no -- you are no fool; you call yourself a fool, there's
> proof enough in that!" -- Rostand, "Cyrano de Bergerac"
>
next prev parent reply other threads:[~2006-09-28 18:40 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-09-28 17:08 George Necula
2006-09-28 17:23 ` [Caml-list] " Igor Peshansky
2006-09-28 18:39 ` George Necula [this message]
2006-09-29 2:20 ` Andy Ray
2006-09-29 3:32 ` Ken Rose
2006-09-28 17:45 ` Xavier Leroy
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=C43B79035877954895EE17C18AA9069A015B52E8@fontus.eecs.berkeley.edu \
--to=necula@eecs.berkeley.edu \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox