Hello,
It has been suggested to clone the library from the git repository and checkout the `devel` branch.
For e.g.,
https://www.cs.unipr.it/pipermail/ppl-devel/2021-February/019283.html https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.html https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html
I have cloned the repository by doing:
$ git clone git://git.bugseng.com/ppl/ppl.git $ 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.
As suggested in the 3rd link above the error is produced: https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html
:~/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