Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
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"
> 


  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