From: Kuba Ober <kuba@mareimbrium.org>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Teaching ocaml programming
Date: Sat, 11 Oct 2008 12:19:55 -0400 [thread overview]
Message-ID: <200810111219.56723.kuba@mareimbrium.org> (raw)
In-Reply-To: <200810111158.49053.kuba@mareimbrium.org>
On Saturday 11 October 2008, Kuba Ober wrote:
> OK, I'm off to work on tonight and tomorrow. My minimal goals are:
> 1. Editor with at least skeleton syntax highligting
> 2. Output window so that you can see results of your program running
> 3. Toplevel window so that you can run interactive sessions.
[...]
> The thing will be written in C++, as getting the necessary Ocaml bindings
> generated for Qt would take too much time initially. Maybe later I'd port
> it to Ocaml, as long as I can get the bindings to work well on Windows.
> In the long run I'd need to patch mingw as appropriate so that Ocaml could
> use it without subjecting people to Cygwin, and so that the whole thing
> could be actually easily built once you install Ocaml, Mingw and Qt's
> sources. Mingw toolchain needs relatively few files to run, and is rather
> trivial to set up (just copy a bunch of files into a directory, and set up
> the path).
Hmm, replying to myself: Camelia already does a lot of this, but I don't know
how well it works with native (non-Cygwin) OCaml. I will try it out, it seems
to be a great starting point, and it may actually get me to tweak things out
so that OCaml can do its thing without any Cygwin support at all.
My revised goals are thus:
1. Get Camelia compiled using VS/Qt4. See how it works with native
(mingw-compiled) Ocaml, tweak as necessary. Make an installer. This
is the path of least resistance, as VS is my primary development
environment.
2. Addressing some usability issues. Refactor/port to Qt4 only
as there's no GPL'd Qt3 for Windows. This means drop any Qt3
support code, and refactor the code to use Qt4 features - this
should reduce source size somewhat.
3. Install mingw compilers and compile Qt so that there's a free
platform for compiling Camelia.
4. Try compiling Camelia using those, tweak as necessary, rebuild
the installer to provide Camelia with GPL'd Qt.
5. See if it's possible to get OCaml to build natively using mingw,
without Cygwin present. Likely patch mingw to provide @responsefile
and whatever other functionality OCaml depends on.
Cheers, Kuba
next prev parent reply other threads:[~2008-10-11 16:19 UTC|newest]
Thread overview: 49+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-09-26 11:30 Andrej Bauer
2008-09-26 11:44 ` [Caml-list] " Lukasz Stafiniak
2008-09-26 11:52 ` Andrej Bauer
2008-09-26 12:07 ` Andrej Bauer
2008-09-26 14:31 ` Richard Jones
2008-09-26 14:49 ` Peng Zang
2008-09-26 12:10 ` Brighten Godfrey
2008-09-26 12:41 ` Andrej Bauer
2008-09-26 12:55 ` Mehdi Dogguy
2008-09-26 17:44 ` Yaron Minsky
2008-09-26 18:59 ` Andrej Bauer
2008-09-26 19:23 ` Hezekiah M. Carty
2008-09-26 20:46 ` David Teller
2008-10-09 21:36 ` Kuba Ober
2008-09-26 22:09 ` Nathaniel Gray
2008-09-26 13:11 ` Hugo Ferreira
2008-09-26 13:33 ` Andrej Bauer
2008-09-26 13:43 ` Hugo Ferreira
2008-09-26 16:15 ` Arthur Chan
2008-09-26 16:52 ` Richard Jones
2008-09-26 22:16 ` Erik de Castro Lopo
2008-09-27 9:44 ` OCaml support on Ubuntu David MENTRE
2008-09-27 9:55 ` [Caml-list] " Erik de Castro Lopo
2008-09-27 11:21 ` Stefano Zacchiroli
2008-09-27 12:17 ` David MENTRE
2008-09-26 16:55 ` [Caml-list] Teaching ocaml programming Andrej Bauer
2008-09-26 17:11 ` Stefano Zacchiroli
2008-09-26 18:16 ` Hugo Ferreira
2008-09-26 22:20 ` Erik de Castro Lopo
2008-09-26 22:08 ` Erik de Castro Lopo
2008-09-27 6:15 ` Vu Ngoc San
2008-09-27 9:22 ` Stefano Zacchiroli
2008-09-27 9:33 ` Erik de Castro Lopo
2008-09-27 9:36 ` Erik de Castro Lopo
2008-09-27 11:16 ` Stefano Zacchiroli
2008-09-26 14:29 ` Peng Zang
2008-09-26 15:18 ` Dario Teixeira
2008-09-26 16:17 ` Andrej Bauer
2008-09-26 16:55 ` Richard Jones
2008-09-26 17:01 ` Peng Zang
2008-09-28 0:06 ` Brighten Godfrey
2008-09-26 20:30 ` David Teller
2008-09-26 22:05 ` Nathaniel Gray
2008-10-09 21:41 ` Kuba Ober
2008-10-10 17:08 ` Andrej Bauer
2008-10-11 15:58 ` Kuba Ober
2008-10-11 16:19 ` Kuba Ober [this message]
2008-10-11 21:18 ` Andrej Bauer
2008-10-13 23:21 ` Kuba Ober
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=200810111219.56723.kuba@mareimbrium.org \
--to=kuba@mareimbrium.org \
--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