[plt-scheme] Building from 4.2.5 src, setup-plt died while buildings docs: should I worry?

It's mildly worrying that you don't have write permission on your TMPDIR.

Jay

On Fri, Apr 23, 2010 at 2:47 PM, Grant Rettke <grettke at acm.org> wrote:
> Building from src, setup-plt died while buildings docs:
>
> setup-plt: post-installing: help
> setup-plt: post-installing: mred
> setup-plt: post-installing: mysterx
> setup-plt: post-installing: mzcom
> setup-plt: done
> setup-plt:
> setup-plt: error: during Building docs for
> /home/grettke/bin/plt-4.2.5/lib/plt/collects/scribblings/guide/guide.scrbl
> setup-plt:   delete-file: cannot delete file: "/var/tmp/stuff.txt" (No
> such file or directory; errno=2)
> setup-plt: error: during Building docs for
> /home/grettke/bin/plt-4.2.5/lib/plt/collects/scribblings/reference/reference.scrbl
> setup-plt:   open-output-file: cannot open output file:
> "/var/tmp/mztmp12720547351272054735148" (Permission denied; errno=13)
>
> Should I worry?
>
> I only care about the system not the documentation.
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93