projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Replace GSX Server support with VMware Player support.
[pintos-anon]
/
doc
/
installation.texi
diff --git
a/doc/installation.texi
b/doc/installation.texi
index bdcdfc3547426603602c26aab66705f92f487267..3bab217515767b57ef4547c4593f0aba17dca8b5 100644
(file)
--- a/
doc/installation.texi
+++ b/
doc/installation.texi
@@
-65,7
+65,7
@@
Optional: @uref{http://www.tug.org/, @TeX{}}. Also required to build
the PDF version of the documentation.
@item
the PDF version of the documentation.
@item
-Optional: @uref{http://www.vmware.com/, VMware
GSX Serv
er}. This is a
+Optional: @uref{http://www.vmware.com/, VMware
Play
er}. This is a
third platform that can also be used to test Pintos.
@end itemize
third platform that can also be used to test Pintos.
@end itemize
@@
-93,6
+93,7
@@
about missing @file{gdb-macros}, it is installed correctly.
@item
Compile the remaining Pintos utilities by typing @command{make} in
@file{src/utils}. Install @file{squish-pty} somewhere in @env{PATH}.
@item
Compile the remaining Pintos utilities by typing @command{make} in
@file{src/utils}. Install @file{squish-pty} somewhere in @env{PATH}.
+To support VMware Player, install @file{squish-unix}.
If your Perl is older than version 5.8.0, also install
@file{setitimer-helper}; otherwise, it is unneeded.
If your Perl is older than version 5.8.0, also install
@file{setitimer-helper}; otherwise, it is unneeded.