Source installation with Nix

To compile all HPP packages inside a Nix development environment, follow these steps.

1. Setup direnv (optional but recommended)

Install and configure direnv with nix-direnv.

This step is already done on LAAS computers.

Configure the Gepetto Nix binary cache:

This step is already done on LAAS computers.

Choose a directory on your filesystem. This directory will be referred to as DEVEL_HPP_DIR.

The packages will be cloned into $D E V E L_{H} P P_{D} I R / src < / co d e > . * T h e p a c ka g es w i ll b e in s t a ll e d in t o < co d ec l a ss = " e n v - v a r iab l e " >$ DEVEL_HPP_DIR/install.

Create the directory and enter it:

mkdir -p $DEVEL_HPP_DIR
cd $DEVEL_HPP_DIR

Create the .envrc file:

echo "use flake github:gepetto/nix#hpp" > .envrc
direnv allow

If you do not want to use nix-direnv, you can alternatively run:

nix develop github:gepetto/nix#hpp

However, this command must be executed manually in each new shell.

The Nix environment will define the DEVEL_HPP_DIR environment variable to the current working directory.

Download the Makefile:

wget -O $DEVEL_HPP_DIR/src/Makefile https://raw.githubusercontent.com/humanoid-path-planner/hpp-doc/devel/makefiles/devel.mk

Build all HPP packages:

cd $DEVEL_HPP_DIR/src
make all