[PPL-devel] Query on checking out the 'devel' branch

[anoninus]

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

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20220313/75fd4869/attachment.htm>