* Compiling latest cvs version of ocaml on cygwin @ 2006-09-28 17:08 George Necula 2006-09-28 17:23 ` [Caml-list] " Igor Peshansky 2006-09-28 17:45 ` Xavier Leroy 0 siblings, 2 replies; 6+ messages in thread From: George Necula @ 2006-09-28 17:08 UTC (permalink / raw) To: caml-list 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 Thanks, George ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Compiling latest cvs version of ocaml on cygwin 2006-09-28 17:08 Compiling latest cvs version of ocaml on cygwin George Necula @ 2006-09-28 17:23 ` Igor Peshansky 2006-09-28 18:39 ` George Necula 2006-09-28 17:45 ` Xavier Leroy 1 sibling, 1 reply; 6+ messages in thread From: Igor Peshansky @ 2006-09-28 17:23 UTC (permalink / raw) To: George Necula; +Cc: caml-list 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" ^ permalink raw reply [flat|nested] 6+ messages in thread
* RE: [Caml-list] Compiling latest cvs version of ocaml on cygwin 2006-09-28 17:23 ` [Caml-list] " Igor Peshansky @ 2006-09-28 18:39 ` George Necula 2006-09-29 2:20 ` Andy Ray 0 siblings, 1 reply; 6+ messages in thread From: George Necula @ 2006-09-28 18:39 UTC (permalink / raw) To: caml-list 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" > ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Compiling latest cvs version of ocaml on cygwin 2006-09-28 18:39 ` George Necula @ 2006-09-29 2:20 ` Andy Ray 2006-09-29 3:32 ` Ken Rose 0 siblings, 1 reply; 6+ messages in thread From: Andy Ray @ 2006-09-29 2:20 UTC (permalink / raw) To: George Necula; +Cc: caml-list 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 > > > ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Compiling latest cvs version of ocaml on cygwin 2006-09-29 2:20 ` Andy Ray @ 2006-09-29 3:32 ` Ken Rose 0 siblings, 0 replies; 6+ messages in thread From: Ken Rose @ 2006-09-29 3:32 UTC (permalink / raw) To: caml-list Andy Ray wrote: > 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. It's worked well for me, too. - ken ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Compiling latest cvs version of ocaml on cygwin 2006-09-28 17:08 Compiling latest cvs version of ocaml on cygwin George Necula 2006-09-28 17:23 ` [Caml-list] " Igor Peshansky @ 2006-09-28 17:45 ` Xavier Leroy 1 sibling, 0 replies; 6+ messages in thread From: Xavier Leroy @ 2006-09-28 17:45 UTC (permalink / raw) To: George Necula; +Cc: caml-list Hello George, > 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' The new Camlp4, or more exactly the build procedure for the new Camlp4, needs some porting to work under Windows. I'm working on it when I can find the time. If you're in a hurry, and do not use Camlp4, consider changing the top Makefile to not build it. - Xavier ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2006-09-29 3:37 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2006-09-28 17:08 Compiling latest cvs version of ocaml on cygwin 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 2006-09-29 3:32 ` Ken Rose 2006-09-28 17:45 ` Xavier Leroy
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox