1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <!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 V1.78.1" /><link rel="home" href="index.html" title="Matita V0.5.9 User Manual (rev. 0.5.9 )" /><link rel="up" href="index.html" title="Matita V0.5.9 User Manual (rev. 0.5.9 )" /><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#idp68645040">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#database_setup">(optional) MySQL setup</a></span></dt><dt><span class="sect2"><a href="inst_from_src.html#build_instructions">Compiling and installing</a></span></dt></dl></dd><dt><span class="sect1"><a href="matita.conf.xml.html">Configuring Matita</a></span></dt></dl></div><p>
3 Matita is a quite complex piece of software, we thus recommend
4 you to either install al precompiled version or use the LiveCD.
5 If you are running Debian GNU/Linux (or one of its derivatives
6 like Ubuntu), you can install matita typing
7 </p><pre class="programlisting"> aptitude install matita matita-standard-library </pre><p>
8 If you are running MacOSX or Windows, give the LiveCD a try before
9 trying to compile Matita from its sources.
10 </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>
11 In the following, we will assume you have installed
12 <a class="ulink" href="http://www.virtualbox.org" target="_top">virtualbox</a>
13 for your platform and downloaded the .iso image of the LiveCD
14 </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>
15 Click on the New button, a wizard will popup, you should ask to
16 its questions as follows
17 </p><div class="orderedlist"><ol class="orderedlist" type="1"><li class="listitem"><p>
18 The name should be something like Matita, but can
19 be any meaningful string.
20 </p></li><li class="listitem"><p>
21 The OS type should be Debian
22 </p></li><li class="listitem"><p>
23 The base memory size can be 256 mega bytes, but you may
24 want to increase it if you are going to work with huge
26 </p></li><li class="listitem"><p>
27 The boot hard disk should be no hard disk. It may complain
28 that this choice is not common, but it is right, since you
29 will run a LiveCD you do not need to emulate an hard drive.
30 </p></li></ol></div><p>
31 Now that you are done with the creation of the virtual machine,
32 you need to insert the LiveCD in the virtual cd reader unit.
33 </p><div class="figure"><a id="idp68630080"></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>
34 Click on CD/DVD-ROM (that should display something like: Not mouted).
35 Then click on mount CD/DVD drive and select the ISO image
36 option. The combo-box should display no available image, you need to
37 add the ISO image you downloaded from the Matita website clicking on
38 the button near the combo-box.
39 to start the virtual machine.
40 </p><div class="figure"><a id="idp68633472"></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>
41 In the newely opened window click
43 </p><div class="figure"><a id="idp68637552"></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>
44 A new windows will pop-up: choose the file you downloaded
45 (usually matita-version.iso) and click open.
46 </p><div class="figure"><a id="idp68641216"></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>
47 Now select the new entry you just added as the CD image
48 you want to insert in the virtual CD drive.
49 You are now ready to start the virtual machine.
50 </p></div><div class="sect2"><div class="titlepage"><div><div><h3 class="title"><a id="idp68645040"></a>Sharing files with the real PC</h3></div></div></div><p>
51 The virtual machine Matita will run on, has its own file
52 system, that is completely separated from the one of your
53 real PC (thus your files are not available in the
54 emulated environment) and moreover it is a non-presistent
55 file system (thus you data is lost every time you
56 turn off the virtual machine).
58 Virtualbox allows you to share a real folder (beloging
59 to your real PC) with the emulated computer. Since this
60 folder is persistent, you are encouraged to put
61 your work there, so that it is not lost when the virtual
62 machine is powered off.
64 The first step to set up a shared folder is to click
65 on the shared folder configuration entry
66 of the virtual machine.
67 </p><div class="figure"><a id="idp68647616"></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>
68 Then you shuld add a shared folder clicking on the
69 plus icon on the right
70 </p><div class="figure"><a id="idp68651136"></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>
71 Then you have to specify the real PC folder you want to share
72 and name it. A reasonable folder to share is /home on
73 a standard Unix system, while /Users on MaxOSX.
74 The name you give to the share is important, you should
76 </p><div class="figure"><a id="idp68654928"></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>
77 Once your virtual machine is up and running, you can
78 mount (that meand have access to) the shared folder
79 by clicking on the Mount VirtualBox share icon, and typing
80 the name of the share.
81 </p><div class="figure"><a id="idp68658672"></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>
82 A window will then pop-up, and its content will be the
83 the content of the real PC folder.
84 </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>