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

Name		Name	Last commit message	Last commit date
Latest commit History 114 Commits
build-aux @ 46a6fe3		build-aux @ 46a6fe3
debian		debian
template-project		template-project
tests		tests
.gitignore		.gitignore
.gitmodules		.gitmodules
AUTHORS		AUTHORS
COPYING		COPYING
ChangeLog		ChangeLog
Makefile.am		Makefile.am
NEWS		NEWS
README.md		README.md
bootstrap		bootstrap
configure.ac		configure.ac
package-create-local.in		package-create-local.in
package-create.in		package-create.in
package-dep.in		package-dep.in