--- /dev/null
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Chapter 2. Installation</title><link rel="stylesheet" type="text/css" href="docbook.css" /><meta name="generator" content="DocBook XSL Stylesheets Vsnapshot" /><link rel="home" href="index.html" title="Matita V0.99.5 User Manual (rev. 0.99.5 )" /><link rel="up" href="index.html" title="Matita V0.99.5 User Manual (rev. 0.99.5 )" /><link rel="prev" href="WrtCoq.html" title="Matita vs Coq" /><link rel="next" href="inst_from_src.html" title="Installing from sources" /></head><body><a xmlns="" href="../../../"><div class="matita_logo"><img src="figures/matita.png" alt="Tiny Matita logo" /><span>Matita Home</span></div></a><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Chapter 2. Installation</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="WrtCoq.html">Prev</a> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="inst_from_src.html">Next</a></td></tr></table><hr /></div><div class="chapter"><div class="titlepage"><div><div><h1 class="title"><a id="sec_install"></a>Chapter 2. Installation</h1></div></div></div><div class="toc"><p><strong>Table of Contents</strong></p><dl class="toc"><dt><span class="sect1"><a href="sec_install.html#inst_livecd">Using the LiveCD</a></span></dt><dd><dl><dt><span class="sect2"><a href="sec_install.html#make_vmachine">Creating the virtual machine</a></span></dt><dt><span class="sect2"><a href="sec_install.html#idm148">Sharing files with the real PC</a></span></dt></dl></dd><dt><span class="sect1"><a href="inst_from_src.html">Installing from sources</a></span></dt><dd><dl><dt><span class="sect2"><a href="inst_from_src.html#get_source_code">Getting the source code</a></span></dt><dt><span class="sect2"><a href="inst_from_src.html#build_requirements">Requirements</a></span></dt><dt><span class="sect2"><a href="inst_from_src.html#build_instructions">Compiling and installing</a></span></dt></dl></dd></dl></div><p>
+ Matita is a quite complex piece of software, we thus recommend
+ you to either install al precompiled version or use the LiveCD.
+ If you are running Debian GNU/Linux (or one of its derivatives
+ like Ubuntu), you can install matita typing
+ </p><pre class="programlisting"> aptitude install matita matita-standard-library </pre><p>
+ If you are running MacOSX or Windows, give the LiveCD a try before
+ trying to compile Matita from its sources.
+ </p><div class="sect1"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a id="inst_livecd"></a>Using the LiveCD</h2></div></div></div><p>
+ In the following, we will assume you have installed
+ <a class="ulink" href="http://www.virtualbox.org" target="_top">virtualbox</a>
+ for your platform and downloaded the .iso image of the LiveCD
+ </p><div class="sect2"><div class="titlepage"><div><div><h3 class="title"><a id="make_vmachine"></a>Creating the virtual machine</h3></div></div></div><p>
+ Click on the New button, a wizard will popup, you should ask to
+ its questions as follows
+ </p><div class="orderedlist"><ol class="orderedlist" type="1"><li class="listitem"><p>
+ The name should be something like Matita, but can
+ be any meaningful string.
+ </p></li><li class="listitem"><p>
+ The OS type should be Debian
+ </p></li><li class="listitem"><p>
+ The base memory size can be 256 mega bytes, but you may
+ want to increase it if you are going to work with huge
+ formalizations.
+ </p></li><li class="listitem"><p>
+ The boot hard disk should be no hard disk. It may complain
+ that this choice is not common, but it is right, since you
+ will run a LiveCD you do not need to emulate an hard drive.
+ </p></li></ol></div><p>
+ Now that you are done with the creation of the virtual machine,
+ you need to insert the LiveCD in the virtual cd reader unit.
+ </p><div class="figure"><a id="idm116"></a><p class="title"><strong>Figure 2.1. The brand new virtual machine</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox1.png" alt="The breand new virtual machine" /></div></div></div><br class="figure-break" /><p>
+ Click on CD/DVD-ROM (that should display something like: Not mouted).
+ Then click on mount CD/DVD drive and select the ISO image
+ option. The combo-box should display no available image, you need to
+ add the ISO image you downloaded from the Matita website clicking on
+ the button near the combo-box.
+ to start the virtual machine.
+ </p><div class="figure"><a id="idm124"></a><p class="title"><strong>Figure 2.2. Mounting an ISO image</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox2.png" alt="Mounting an ISO image" /></div></div></div><br class="figure-break" /><p>
+ In the newely opened window click
+ the Add button
+ </p><div class="figure"><a id="idm132"></a><p class="title"><strong>Figure 2.3. Choosing the ISO image</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox3.png" alt="Choosing the ISO image" /></div></div></div><br class="figure-break" /><p>
+ A new windows will pop-up: choose the file you downloaded
+ (usually matita-version.iso) and click open.
+ </p><div class="figure"><a id="idm140"></a><p class="title"><strong>Figure 2.4. Choosing the ISO image</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox35.png" alt="Choosing the ISO image" /></div></div></div><br class="figure-break" /><p>
+ Now select the new entry you just added as the CD image
+ you want to insert in the virtual CD drive.
+ You are now ready to start the virtual machine.
+ </p></div><div class="sect2"><div class="titlepage"><div><div><h3 class="title"><a id="idm148"></a>Sharing files with the real PC</h3></div></div></div><p>
+ The virtual machine Matita will run on, has its own file
+ system, that is completely separated from the one of your
+ real PC (thus your files are not available in the
+ emulated environment) and moreover it is a non-presistent
+ file system (thus you data is lost every time you
+ turn off the virtual machine).
+ </p><p>
+ Virtualbox allows you to share a real folder (beloging
+ to your real PC) with the emulated computer. Since this
+ folder is persistent, you are encouraged to put
+ your work there, so that it is not lost when the virtual
+ machine is powered off.
+ </p><p>
+ The first step to set up a shared folder is to click
+ on the shared folder configuration entry
+ of the virtual machine.
+ </p><div class="figure"><a id="idm153"></a><p class="title"><strong>Figure 2.5. Set up a shared folder</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox4.png" alt="Shared folder" /></div></div></div><br class="figure-break" /><p>
+ Then you shuld add a shared folder clicking on the
+ plus icon on the right
+ </p><div class="figure"><a id="idm161"></a><p class="title"><strong>Figure 2.6. Choosing the folder to share</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox5.png" alt="Shared folder" /></div></div></div><br class="figure-break" /><p>
+ Then you have to specify the real PC folder you want to share
+ and name it. A reasonable folder to share is /home on
+ a standard Unix system, while /Users on MaxOSX.
+ The name you give to the share is important, you should
+ remember it.
+ </p><div class="figure"><a id="idm169"></a><p class="title"><strong>Figure 2.7. Naming the shared folder</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox6.png" alt="Shared folder" /></div></div></div><br class="figure-break" /><p>
+ Once your virtual machine is up and running, you can
+ mount (that meand have access to) the shared folder
+ by clicking on the Mount VirtualBox share icon, and typing
+ the name of the share.
+ </p><div class="figure"><a id="idm177"></a><p class="title"><strong>Figure 2.8. Using it from the virtual machine</strong></p><div class="figure-contents"><div class="mediaobject"><img src="figures/vbox7.png" alt="Shared folder at work" /></div></div></div><br class="figure-break" /><p>
+ A window will then pop-up, and its content will be the
+ the content of the real PC folder.
+ </p></div></div></div><div class="navfooter"><hr /><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="WrtCoq.html">Prev</a> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="inst_from_src.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Matita vs Coq </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Installing from sources</td></tr></table></div></body></html>
\ No newline at end of file
projects / helm.git / blobdiff