Installing NovaProva

From The Open Build Service

NovaProva is available in installable package repositories for many recent Linux distributions at the OpenSUSE Build Service Visit that page and follow the instructions there.

Alternatively, for Debian/Ubuntu systems, copy and paste the following commands.

# Choose a distro
distro=xUbuntu_12.04

# This is the base URL for the NovaProva repo
repo=http://download.opensuse.org/repositories/home:/gnb:/novaprova/$distro

# Download and install the repository GPG key
wget -O - $repo/Release.key | sudo apt-key add -

# Add an APT source
sudo bash -c "echo 'deb $repo ./' > /etc/apt/sources.list.d/novaprova.list"
sudo apt-get update

# Install NovaProva
sudo apt-get install novaprova

See here for commandline instructions for other Linux distributions.

From A Release Tarball

First, download a release tarball from Sourceforge.

NovaProva is intended to be built in the usual way that any open source C software is built. It has a configure script generated by autoconf, which you run before building. To build you need to have g++ and gcc installed, as well as the following:

  • Valgrind (Ubuntu apt-get install valgrind, RedHat rpm -U valgrind)
  • autoconf (Ubuntu apt-get install autoconf)
  • libxml2 (Ubuntu apt-get install libxml2-dev, RedHat rpm -U libxml2-devel)
  • pkg-config (Ubuntu apt-get install pkg-config, RedHat rpm -U pkgconfig)
  • The BFD library (Ubuntu apt-get install binutils-dev, RedHat rpm -U binutils-devel)

After installing all that, run these commands.

tar -xvf novaprova-1.1.tar.bz2
cd novaprova-1.1

./configure

make
make install

From Read-Only Git

For advanced users only. NovaProva needs several more tools to build from a Git checkout than from a release tarball, mainly for the documentation. To build you need to have g++ and gcc installed, as well as the following:

  • Doxygen (Ubuntu apt-get install doxygen, RedHat rpm -U doxygen)
  • Valgrind (Ubuntu apt-get install valgrind, RedHat rpm -U valgrind)
  • Breathe (Ubuntu apt-get install breathe-doc, or pip install breathe)
  • autoconf (Ubuntu apt-get install autoconf)
  • libxml2 (Ubuntu apt-get install libxml2-dev, RedHat rpm -U libxml2-devel)
  • pkg-config (Ubuntu apt-get install pkg-config, RedHat rpm -U pkgconfig)
  • The BFD library (Ubuntu apt-get install binutils-dev, RedHat rpm -U binutils-devel)

After installing all that, run these commands.

git clone git://github.com/gnb/novaprova.git
cd novaprova

automake -ac
# ignore the errors, this is only needed to copy
# in install-sh which autoconf wants
autoreconf -iv

./configure

make
make install