On Tue, Dec 13, 2011 at 09:39:03PM +0100, Benedikt Meurer wrote:
> You can grab my current patch for the new OCaml ARM backend at:
>
> http://ps.informatik.uni-siegen.de/~meurer/tmp/ocaml-arm-20111213.diff
>
> Compared to the old backend, this one does the following:
>
> - Support for both soft
On 12/14/2011 07:03 AM, Alain Frisch wrote:
On 12/13/2011 10:53 AM, Adrien wrote:
On 13/12/2011, Alain Frisch wrote:
As Xavier said, it would be great to find someone who'd like to join
the
core dev team in order to improve support for Windows. Anyone
interested?
In my experience, OCaml is
On 12/14/2011 10:34 AM, Jonathan Protzenko wrote:
For the native compiler, we need an external toolchain, but this is
not a huge issue. With some little amount of work, one could support a
standalone msys/mingw (as opposed to mingw compilers packaged in Cygwin)
This is precisely what http://prot
Am Dienstag, den 13.12.2011, 20:36 +0100 schrieb oliver:
> Hello,
>
>
> installing packages in R also is quite easy.
Well, package management for scripting languages is way easier. You can
especially do some of the management at load time. If, for example, a
symbol is missing because a predecess
Am Dienstag, den 13.12.2011, 21:22 +0100 schrieb oliver:
> Hello,
>
>
> I again want to mention R.
>
> The installation procdure for users is very easy.
> What I also like there, is that the documentation
> includes references to books, which explain the algorithms
> or other background informat
Am Mittwoch, den 14.12.2011, 07:03 +0100 schrieb Alain Frisch:
> On 12/13/2011 10:53 AM, Adrien wrote:
> > On 13/12/2011, Alain Frisch wrote:
> >> As Xavier said, it would be great to find someone who'd like to join the
> >> core dev team in order to improve support for Windows. Anyone interested?
My feeling is that the core issue lies in the fact that we want two
different styles: the Unix environment, and the Windows way.
- The first one, imho, currently very well served by the cygwin
environment + official ocaml package for cygwin.
- The second one would be best served by an installer t
On 14/12/2011, Alain Frisch wrote:
> On 12/13/2011 10:53 AM, Adrien wrote:
>> On 13/12/2011, Alain Frisch wrote:
>>> As Xavier said, it would be great to find someone who'd like to join the
>>> core dev team in order to improve support for Windows. Anyone interested?
>>
>> In my experience, OCaml
>
> As for the build systems, I'd advise everyone to use OASIS instead of
> custom
> systems: it's not perfect on windows but for cairo2 and archimedes, I think
> I only had to change paths from backward-slashes to forward-slashes in
> setup.data (or the other way round) (took 15 seconds).
>
A cla
On Wed, Dec 14, 2011 at 01:14:57PM +0100, Gerd Stolpmann wrote:
> Am Dienstag, den 13.12.2011, 21:22 +0100 schrieb oliver:
> > Hello,
> >
> >
> > I again want to mention R.
> >
> > The installation procdure for users is very easy.
> > What I also like there, is that the documentation
> > include
On Tue, Dec 13, 2011 at 21:56, Jacques Garrigue
wrote:
> In your example, how do you know in a pattern-matching that `Foo comes from
> t2?
> Type inference could be used, but I'm afraid it would be very fragile,
> and not easy to use.
> So at this point there is no plan to add GADT PVs.
>
> An a
Am Mittwoch, den 14.12.2011, 14:37 +0100 schrieb Adrien:
> On 14/12/2011, Alain Frisch wrote:
> > On 12/13/2011 10:53 AM, Adrien wrote:
> >> On 13/12/2011, Alain Frisch wrote:
> >>> As Xavier said, it would be great to find someone who'd like to join the
> >>> core dev team in order to improve su
Am Mittwoch, den 14.12.2011, 15:55 +0100 schrieb oliver:
> On Wed, Dec 14, 2011 at 01:14:57PM +0100, Gerd Stolpmann wrote:
> > Am Dienstag, den 13.12.2011, 21:22 +0100 schrieb oliver:
> > > Hello,
> > >
> > >
> > > I again want to mention R.
> > >
> > > The installation procdure for users is ver
See the way Python does it (on Windows) with virtualenv
http://pypi.python.org/pypi/virtualenv/
Gaius
--
-Original Message-
From: Gerd Stolpmann
Date: Wed, 14 Dec 2011 16:27:58
To: Adrien
Cc: Alain Frisch; Jonathan
Protzenko; Martin
DeMello; Gerd Stolpmann;
Subje
On 14/12/2011, Gerd Stolpmann wrote:
> Am Mittwoch, den 14.12.2011, 14:37 +0100 schrieb Adrien:
>> On 14/12/2011, Alain Frisch wrote:
>> > As a concrete problem, until a few days ago, the mingw port could not be
>> > used with recent versions of Cygwin without some small hacks (like
>> > copying
A solution that I used is to patch OCaml to read a configuration file at
startup. This configuration file overrides what was put in the config at
compile time, so that you can change what C compiler/assembler/linker
you use at every execution. It was done in a first attempt to build a
cross-compili
On 12/14/2011 02:37 PM, Adrien wrote:
Actually, I think that you should have used the "/etc/alternatives"
symlinks: /usr/bin/gcc points to /etc/alternatives/FOO and you can make this
FOO symlink point to the /usr/bin/BAR binary that you want.
The problem is that flexlink.exe (and ocamlopt.exe)
On 12/14/2011 04:49 PM, Adrien wrote:
Hmmm, right. But if /usr/bin/gcc is already a symlink, ocaml wouldn't be
able to use it at all... I find it quite weird but I don't have a cygwin box
to test.
Well, that's precisely the point: the natural way to use gcc 3 under
Cygwin is through symlinks i
On 14.12.2011 04:52, Gerd Stolpmann wrote:
> I don't think you will be able to convince everybody - at this point the
> issue becomes political in some sense: Do we want to give up our Unix
> habits just to support an OS we (often enough) do not like, and would
> only cover to get more love from t
Am Mittwoch, den 14.12.2011, 09:27 -0800 schrieb Aleksey Nogin:
> On 14.12.2011 04:52, Gerd Stolpmann wrote:
>
> > I don't think you will be able to convince everybody - at this point the
> > issue becomes political in some sense: Do we want to give up our Unix
> > habits just to support an OS we
> Note that to a degree, OMake already provides the ability to do
> Unix-style things under Windows.
I won't wish you ever hear the words I've said while porting
OMake on mingw. If you want a polite response, please take
a look at
http://overbld.hg.sourceforge.net/hgweb/overbld/overbld/file/tip
Gerd Stolpmann wrote:
> Am Mittwoch, den 14.12.2011, 09:27 -0800 schrieb Aleksey Nogin:
> > On 14.12.2011 04:52, Gerd Stolpmann wrote:
> >
> > > I don't think you will be able to convince everybody - at this point
> > > the issue becomes political in some sense: Do we want to give up our
> > > Unix
On Dec 14, 2011, at 17:55 , Alain Frisch wrote:
>> I'm quite interested in the ability to create .cmxs files without a C
>> compiler and can already picture me using it. I've also noticed Benedikt's
>> ocamlnat work. Would it be usable to script native-code applications?
>> Maybe with less requir
On Dec 14, 2011, at 10:18 , Mark Shinwell wrote:
>> - Support for both softfp and VFPv3-D16 (if present).
>> - Properly supports interworking with Thumb/Thumb-2 code (for both OCaml and
>> C code!)
>> - Supports dynamic linking and large memory models.
>> - Optional support for position-independ
On Wed, Dec 14, 2011 at 4:52 AM, Gerd Stolpmann wrote:
>
> There could be an alternative: The "busybox approach". We could develop
> a toolkit that covers all the Unix commands we need for the existing
> build scripts. It would include easy things like cp, mv etc., but also a
> classic "make" (med
Recent discussions on how to improve the Ocaml-on-windows situation
are very welcome, but I see a lot of tech-speak and little feeling for
the users, who care just about one thing: to have a click & install
distribution of Ocaml that actually works.
Keep this in mind: 90% of potential Ocaml users
26 matches
Mail list logo