4 .. contents:: Table of Contents
8 Many mainstream Linux distributions are supported in Tizen Tools repository, including:
10 - Ubuntu (12.10, 12.04, 11.10)
11 - openSUSE (12.2, 12.1)
17 1. Append Tizen Tools Repository, example: Ubuntu 12.04
20 $ sudo vi /etc/apt/sources.list
25 deb http://download.tizen.org/tools/latest-release/Ubuntu_12.04/ /
27 2. Install or upgrade tools
31 $ sudo apt-get install mic
35 1. Adding Tizen Tools Repository, example: openSUSE12.1
38 $ sudo zypper addrepo http://download.tizen.org/tools/latest-release/openSUSE_12.1/ tools
44 $ sudo zypper install mic
50 $ sudo zypper update mic
54 1. Adding Tizen Tools Repository, example: Fedora17
57 $ sudo wget -O /etc/yum.repos.d/tools.repo http://download.tizen.org/tools/latest-release/Fedora_17/Tools.repo
63 $ sudo yum install mic
73 To make your source insatllation work, you should make sure you have installed all required depends of mic. Then run 'make install' to install MIC from source: