[Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Andrej Bauer
I would like to report on a recent experience of a student of mine who is starting to learn Ocaml. His first taks was to get Ocaml installed on his Windows 7. The student previously had no trouble installing Java, Eclipse, erlang, and an erlang plugin for Eclipse. 1. He tried to install with the

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Jonathan Protzenko
Hi, On Tue 15 Nov 2011 10:43:39 AM CET, Andrej Bauer wrote: I would like to report on a recent experience of a student of mine who is starting to learn Ocaml. His first taks was to get Ocaml installed on his Windows 7. The student previously had no trouble installing Java, Eclipse, erlang, and

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Fabrice Le Fessant
I am waiting for him to come back. Does it really have to be that hard? It's not a stupid student, you know. And he has the right to use Eclipse, so don't tell me he should learn Emacs. Emacs is for old people like you and me. I completely agree that it does not have to be that hard. On

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread ivan chollet
Norton is a notorious piece of malware and has little to do on a student machine. On Tue, Nov 15, 2011 at 9:52 AM, Jonathan Protzenko jonathan.protze...@gmail.com wrote: Hi, On Tue 15 Nov 2011 10:43:39 AM CET, Andrej Bauer wrote: I would like to report on a recent experience of a student

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Andrej Bauer
Norton is a notorious piece of malware and has little to do on a student machine. I was shocked to learn that you cannot set it so that it only warns about suspicous files. It actually instists on deleting them! I asked my student what Norton will do with his Ph.D. dissertation if it is judged

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Jonathan Protzenko
On 11/15/2011 11:21 AM, Andrej Bauer wrote: I completely agree that it does not have to be that hard. On the bright side, we are currently working hard on improving the Eclipse support for OCaml, and we should be able to release an improved plugin in a few months. We also plan to release

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Dmitry Grebeniuk
Hello. Also you can use overbld project at http://overbld.sourceforge.net/ , it provides windows-style installers both for binary and source distribution of OCaml/mingw, and it also contains a bunch of useful ocaml libraries and tools. (direct http links for downloading installers are provided

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Paolo Donadeo
What about the OCaml Windows Installer project? Is it still active? http://forge.ocamlcore.org/projects/ocaml-installer/ -- Paolo -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list:

[Caml-list] Re: How to fail to install Ocaml in 18 steps

2011-11-15 Thread Sylvain Le Gall
Hello, On 15-11-2011, Paolo Donadeo p.dona...@gmail.com wrote: What about the OCaml Windows Installer project? Is it still active? http://forge.ocamlcore.org/projects/ocaml-installer/ I would like to say yes, but this won't be true. Maybe one day we will resume the dev. BTW, any good advice

[Caml-list] First call for papers CICM 2012 - Conference on Intelligent Computer Mathematics

2011-11-15 Thread Johan Jeuring
CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for Papers

Re: [Caml-list] Re: How to fail to install Ocaml in 18 steps

2011-11-15 Thread Jonathan Protzenko
Hi Sylvain, On Tue 15 Nov 2011 12:00:53 PM CET, Sylvain Le Gall wrote: Hello, On 15-11-2011, Paolo Donadeop.dona...@gmail.com wrote: What about the OCaml Windows Installer project? Is it still active? http://forge.ocamlcore.org/projects/ocaml-installer/ I would like to say yes, but this

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Andrej Bauer
Switching to a different operating system, or running a different operating system in a virtual machine is NOT the most obvious solution to normal people (everyone on this mailing list excluded). While I agree with what Dario says in principle, I am convinced that people aren't that keen on using

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Dmitry Grebeniuk
Hello. Realistically, there is just no easy way to install Ocaml on Windows from what I've learned. Can ever exist any easier way than to download a windows installer, run it, follow the usual next-next-next-finish procedure and use OCaml with findlib, oasis and many useful libraries

[Caml-list] Re: How to fail to install Ocaml in 18 steps

2011-11-15 Thread Stefan Monnier
I would like to report on a recent experience of a student of mine who is starting to learn Ocaml. His first taks was to get OCaml installed on his Windows 7. Easier would be: Visit http://goodbye-microsoft.com/ And then aptitude install ocaml ;-) Also I agree with Ivan: anti-viruses are

Re: [Caml-list] How to fail to install Ocaml in 18 steps

2011-11-15 Thread Mihamina Rakotomandimby
On 11/15/2011 01:21 PM, Andrej Bauer wrote: We're somewhere in the it takes a week to install Ocaml era, I am afraid. That only applies to Windows. On Linux, it's a minute. Especially if people dont want to use Emacs but KDevelop (http://kdevelop.org/) or Geany (http://www.geany.org/) or