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

[Roberto Bagnara]

Please try again and report back.

On 3/13/22 09:52, anoninus wrote:
> 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/2021-February/019283.html>
> https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.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 <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 <http://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 <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
> 
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> https://www.cs.unipr.it/mailman/listinfo/ppl-devel