Hello,
It has been suggested to clone the library from the git repository and checkout the `devel` branch.
For e.g.,
I have cloned the repository by doing:
$ cd ppl
ppl$ git branch -r
:~/ppl$ git branch -r
origin/COW
origin/HEAD -> origin/master
origin/MPI
origin/alt_lgo
origin/alt_nnc
origin/altnum
origin/bounded_arithmetic
origin/compliance
origin/deprecated_0_11_removal
origin/floating_point
origin/formatted_output
origin/generalized_streams
origin/grids
origin/interfaces
origin/lazy
origin/master
origin/octagons
origin/pip
origin/polynomials
origin/polyops
origin/positive
origin/ppl-0_10-branch
origin/ppl-0_11-branch
origin/ppl-0_12-branch
origin/ppl-0_3-branch
origin/ppl-0_4-branch
origin/ppl-0_5-branch
origin/ppl-0_6-branch
origin/ppl-0_7-branch
origin/ppl-0_8-branch
origin/ppl-0_9-branch
origin/ppl-1_0-branch
origin/ppl-1_1-branch
origin/ppl-1_2-branch
origin/products
origin/serial
origin/simplex
origin/space_dim
origin/sparse_matrices
origin/strict
origin/termination
That is, there does not seem to be a 'devel' branch anywhere.
:~/ppl$ git checkout devel
error: pathspec 'devel' did not match any file(s) known to git
I have also gone through README.configure, but that also does not specify the command that will checkout the devel branch.
Thanks.
Tryer