caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Andy Ray <ray@4i2i.com>
To: George Necula <necula@eecs.berkeley.edu>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Compiling latest cvs version of ocaml on cygwin
Date: Fri, 29 Sep 2006 03:20:08 +0100	[thread overview]
Message-ID: <451C82D8.5020004@4i2i.com> (raw)
In-Reply-To: <C43B79035877954895EE17C18AA9069A015B52E8@fontus.eecs.berkeley.edu>

Hi,

If you're stuck using windows but needing unix/linux then I'd recommend 
colinux:

http://www.colinux.org/

Takes a bit to install and set up but in my experience has provided a 
nearly flawless linux environment.

Cheers,

Andy



George Necula wrote:
>  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"
>>
>>     
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
>   



  reply	other threads:[~2006-09-29  2:20 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
2006-09-29  2:20     ` Andy Ray [this message]
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=451C82D8.5020004@4i2i.com \
    --to=ray@4i2i.com \
    --cc=caml-list@yquem.inria.fr \
    --cc=necula@eecs.berkeley.edu \
    /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;
as well as URLs for NNTP newsgroup(s).