[Caml-list] Compiling latest cvs version of ocaml on cygwin
George Necula
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
_______________________________________________
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
Igor Peshansky
> 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/
|\ _,,,---,,_ pech...@cs.nyu.edu | ig...@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"
Xavier Leroy
> 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
George Necula
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.
Andy Ray
If you're stuck using windows but needing unix/linux then I'd recommend
colinux:
Takes a bit to install and set up but in my experience has provided a
nearly flawless linux environment.
Cheers,
Andy
Ken Rose
> 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