OCaml on cygwin-64 (was: Orpie love (was: Why are the 32- and 64-bit cygwin1.dlls incompatible?))

2013-08-30 Thread Damien Doligez
Hi all, On 2013-08-23, at 18:50, Warren Young wrote: > On 8/23/2013 06:42, Andrew Schulman wrote: >>> Consider Orpie, which isn't ported to Cygwin 64 yet because OCaml isn't. >> >> Hah! Another Orpie user! >> >> I love Orpie, but sometimes I've wondered if I was the only one. > > Everyone who

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-26 Thread Larry Hall (Cygwin)
On 8/26/2013 9:51 AM, Christopher Faylor wrote: On Mon, Aug 26, 2013 at 11:04:06AM +0200, Corinna Vinschen wrote: On Aug 25 13:26, Christopher Faylor wrote: On Sun, Aug 25, 2013 at 11:05:06AM -0400, Earnie Boyd wrote: On Fri, Aug 23, 2013 at 3:16 PM, Christopher Faylor wrote: I was having a p

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-26 Thread Christopher Faylor
On Mon, Aug 26, 2013 at 11:04:06AM +0200, Corinna Vinschen wrote: >On Aug 25 13:26, Christopher Faylor wrote: >> On Sun, Aug 25, 2013 at 11:05:06AM -0400, Earnie Boyd wrote: >> >On Fri, Aug 23, 2013 at 3:16 PM, Christopher Faylor wrote: >> >>I was having a private chat with Corinna about this. >> >

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-26 Thread Corinna Vinschen
On Aug 25 13:26, Christopher Faylor wrote: > On Sun, Aug 25, 2013 at 11:05:06AM -0400, Earnie Boyd wrote: > >On Fri, Aug 23, 2013 at 3:16 PM, Christopher Faylor wrote: > >>I was having a private chat with Corinna about this. > >> > >>Her doubts above mirror mine. I wonder if this will add to the t

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-25 Thread Christopher Faylor
On Sun, Aug 25, 2013 at 11:05:06AM -0400, Earnie Boyd wrote: >On Fri, Aug 23, 2013 at 3:16 PM, Christopher Faylor wrote: >>I was having a private chat with Corinna about this. >> >>Her doubts above mirror mine. I wonder if this will add to the traffic >>from people who, e.g., expect their java app

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-25 Thread Earnie Boyd
On Fri, Aug 23, 2013 at 3:16 PM, Christopher Faylor wrote: > > I was having a private chat with Corinna about this. > > Her doubts above mirror mine. I wonder if this will add to the traffic > from people who, e.g., expect their java apps to understand Cygwin ptys. > Now we will have people who do

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Christopher Faylor
On Fri, Aug 23, 2013 at 06:56:53PM -0600, Warren Young wrote: >On 8/23/2013 13:16, Christopher Faylor wrote: >> The original error message was certainly not clear but maybe we need >> to have something like: >> >> "Can't run 32-bit Cygwin programs in a 64-bit Cygwin environment" >> >> and vice vers

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Warren Young
On 8/23/2013 13:16, Christopher Faylor wrote: The original error message was certainly not clear but maybe we need to have something like: "Can't run 32-bit Cygwin programs in a 64-bit Cygwin environment" and vice versa with a, as you say, (ugh) way to turn this on and off. I don't want this

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Charles Wilson
On 8/23/2013 2:12 PM, Warren Young wrote: I don't think ncurses can work without a tty interface Orpie runs in a cmd.exe window. ncurses must have some fall-back mode. When you launch a cygwin program in a cmd.exe window, cygwin sets up a tty-like interface (the TERM=cygwin terminal), and (

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Christopher Faylor
On Fri, Aug 23, 2013 at 02:23:30PM -0400, Larry Hall (Cygwin) wrote: >On 8/23/2013 12:33 PM, Warren Young wrote: > > > >>> I just hope this won't lead to more confusion if 32 bit processes >>> started from 64 bit (or vice versa) don't act as expected in some >>> circumstances. >> >> Oh, it probably

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Achim Gratz
Warren Young writes: > Orpie runs in a cmd.exe window. ncurses must have some fall-back mode. IIUC, orpie won't find a tty/pty interface in your situation and it won't be able to use the cmd.exe interface because it isn't run from cmd.exe. What do you expect it to do? Regards, Achim. -- +<[Q+

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Larry Hall (Cygwin)
On 8/23/2013 12:33 PM, Warren Young wrote: I just hope this won't lead to more confusion if 32 bit processes started from 64 bit (or vice versa) don't act as expected in some circumstances. Oh, it probably will, but a cygcheck dump will tell us when this is probably happening, because both C

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Warren Young
On 8/23/2013 11:53, Achim Gratz wrote: Warren Young writes: Line 30 of main.ml is: assert (cbreak ()); Soncurses isn't working correctly across the exec() boundary? I don't think ncurses can work without a tty interface Orpie runs in a cmd.exe window. ncurses must have some fall-ba

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Achim Gratz
Warren Young writes: > Line 30 of main.ml is: > > assert (cbreak ()); > > Soncurses isn't working correctly across the exec() boundary? I don't think ncurses can work without a tty interface and that's one of the things you've lost through the "foreign" exec. You'd need something like start

Re: Orpie love (was: Why are the 32- and 64-bit cygwin1.dlls incompatible?)

2013-08-23 Thread Warren Young
On 8/23/2013 06:42, Andrew Schulman wrote: Consider Orpie, which isn't ported to Cygwin 64 yet because OCaml isn't. Hah! Another Orpie user! I love Orpie, but sometimes I've wondered if I was the only one. Everyone who appreciates HP RPN calculators should try Orpie. A decent PC keyboard i

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Warren Young
On 8/23/2013 03:49, Corinna Vinschen wrote: Since it neither makes sense to propagate the Cygwin-specific child_info_spawn block to native processes, nor to Cygwin processes with a different bitsize, I just disabled this, so you can now start 32 bit Cygwin processes from 64 bit Cygwin processes

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Andrew Schulman
> Consider Orpie, which isn't ported to Cygwin 64 yet because OCaml isn't. Hah! Another Orpie user! I love Orpie, but sometimes I've wondered if I was the only one. Andrew -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation:

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-23 Thread Corinna Vinschen
On Aug 22 16:46, Earnie Boyd wrote: > On Thu, Aug 22, 2013 at 1:14 PM, Corinna Vinschen wrote: > > > > When execveing a Cygwin process, a lot of data is submitted via shared > > memory, via data copying, and via a special parameter to the > > CreateProcess call with the mysterious name "lpReserved2

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-22 Thread Warren Young
On 8/22/2013 14:46, Earnie Boyd wrote: On Thu, Aug 22, 2013 at 1:14 PM, Corinna Vinschen wrote: When execveing a Cygwin process, a lot of data is submitted via shared memory, via data copying... Since you know that the DLL regions are different what about execing the process as if it were a w

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-22 Thread Earnie Boyd
On Thu, Aug 22, 2013 at 1:14 PM, Corinna Vinschen wrote: > > When execveing a Cygwin process, a lot of data is submitted via shared > memory, via data copying, and via a special parameter to the > CreateProcess call with the mysterious name "lpReserved2". > > One problem is the differences in basic

Re: Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-22 Thread Corinna Vinschen
On Aug 22 09:22, Warren Young wrote: > If you try something like this from a Cygwin 64 install: > > $ /cygdrive/c/cygwin32/bin/ls > > you get an error like this: > > 3 [main] ls (8168) C:\cygwin32\bin\ls.exe: *** fatal error - > cygheap base mismatch detected - 0x0/0x612A0950. > > I

Why are the 32- and 64-bit cygwin1.dlls incompatible?

2013-08-22 Thread Warren Young
If you try something like this from a Cygwin 64 install: $ /cygdrive/c/cygwin32/bin/ls you get an error like this: 3 [main] ls (8168) C:\cygwin32\bin\ls.exe: *** fatal error - cygheap base mismatch detected - 0x0/0x612A0950. It goes on to explain that this is due to trying to load