This is the mail archive of the
mailing list for the Cygwin project.
Re: ocaml (camlp4) problem with text-mode /tmp
On Thu, 14 Apr 2005, Toby Allsopp wrote:
> On 14 Apr 2005 at 07:50 NZST, Igor Pechtchanski (pechtcha@XX.XXX.XXX) wrote:
> > What exactly is the problem, and what are the steps to reproduce it?
> The problem is that compiliing some ocaml source files using camlp4o
> as a preprocessor fails when /tmp or $TMPDIR is mounted in text mode.
> I attached such a source file to my previous email. If that
> attachment didn't make it to the list, it is the file sqlite.ml from
The program is the *only* thing that made it through to the list. None of
the text did. Did you, by chance, send HTML mail?
> To reproduce the problem, compile the file with the command ``ocamlc -pp
> camlp4o sqlite.ml''. The failure I see is the message ``Fatal error:
> exception Failure("input_value: integer too large")'' and no .cmo file
> produced. This only happens if /tmp is mounted in text mode. If it is
> mounted in binary mode then the compilation completes successfully.
Ok, I could reproduce this. Thanks for the report.
I'll see what can be done to fix this in the O'Caml package. If it can't
be fixed, I'll at least put the "mount /tmp in binary or point TMPDIR to a
directory mounted in binary" suggestion in the README.
> > Also, please review <http://cygwin.com/problems.html>.
> Ah, versions, sorry.
> O/S: Windows XP Professional Ver 5.1 Build 2600 Service Pack 2
> Cygwin DLL: 1.5.14
> ocaml: 3.08.1-1
The output of "cygcheck -svr", actually. But don't bother now, since it's
Igor Pechtchanski, the volunteer O'Caml maintainer for Cygwin
|\ _,,,---,,_ firstname.lastname@example.org
ZZZzz /,`.-'`' -. ;-;;,_ email@example.com
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D.
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
"The Sun will pass between the Earth and the Moon tonight for a total
Lunar eclipse..." -- WCBS Radio Newsbrief, Oct 27 2004, 12:01 pm EDT
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html