This procedure has been tested under Ubuntu 14.04 LTS.
APT is a set of core tools found inside Debian based operating systems. It provides utilities for the installation and removal of software packages and dependencies on a system.
Repositories are updated from the locations specified in /etc/apt/sources.list and /etc/apt/sources.list.d/. sudo apt-get update
sudo apt-get upgrade
sudo apt-get install <package>
sudo apt-get remove <package>
sudo apt-get purge <package>
or sudo apt-get remove --purge <package>
APT cache files are located in /var/cache/apt/archives
apt-cache pkgnames
apt-cache search <string>
apt-cache show <package>
dpkg -L <package>
dpkg -S <filenameorpath>
sudo apt-get install cmake
sudo apt-get install cmake-gui
sudo apt-get install libboost-all-dev
: Debian's default boost version (currently 1.54)
sudo apt-get install libantlr-dev
sudo apt-get install libgmp-dev
sudo apt-get install git