laas / dev-tools

Development tools such as package-create and package-dev.

dev-tools

Development tools for HPP and JRL projects.

It is released under GPL-3. See COPYING for licensing information.

Setup

To compile this package, it is recommended to create a separate build directory:

It is recommended to create a specific directory to install this package.

mkdir _build
cd _build
../configure [options] ..
make install

Options

• --prefix=<path> defines the installation prefix to <path>.