<div dir="ltr"><div>Hello,</div><div><br></div><div>It has been suggested to clone the library from the git repository and checkout the `devel` branch.</div><div><br></div><div>For e.g., </div><div><br></div><div><a href="https://www.cs.unipr.it/pipermail/ppl-devel/2021-February/019283.html">https://www.cs.unipr.it/pipermail/ppl-devel/2021-February/019283.html</a></div><div><a href="https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.html">https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.html</a><br></div><div><a href="https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html">https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html</a><br></div><div><br></div><div>I have cloned the repository by doing:</div><div><br></div><div>$ git clone git://<a href="http://git.bugseng.com/ppl/ppl.git">git.bugseng.com/ppl/ppl.git</a></div><div>$ cd ppl</div><div>ppl$ git branch -r </div><div>:~/ppl$ git branch -r<br> origin/COW<br> origin/HEAD -> origin/master<br> origin/MPI<br> origin/alt_lgo<br> origin/alt_nnc<br> origin/altnum<br> origin/bounded_arithmetic<br> origin/compliance<br> origin/deprecated_0_11_removal<br> origin/floating_point<br> origin/formatted_output<br> origin/generalized_streams<br> origin/grids<br> origin/interfaces<br> origin/lazy<br> origin/master<br> origin/octagons<br> origin/pip<br> origin/polynomials<br> origin/polyops<br> origin/positive<br> origin/ppl-0_10-branch<br> origin/ppl-0_11-branch<br> origin/ppl-0_12-branch<br> origin/ppl-0_3-branch<br> origin/ppl-0_4-branch<br> origin/ppl-0_5-branch<br> origin/ppl-0_6-branch<br> origin/ppl-0_7-branch<br> origin/ppl-0_8-branch<br> origin/ppl-0_9-branch<br> origin/ppl-1_0-branch<br> origin/ppl-1_1-branch<br> origin/ppl-1_2-branch<br> origin/products<br> origin/serial<br> origin/simplex<br> origin/space_dim<br> origin/sparse_matrices<br> origin/strict<br> origin/termination<br></div><div><br></div><div>That is, there does not seem to be a 'devel' branch anywhere.</div><div><br></div><div>As suggested in the 3rd link above the error is produced: <a href="https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html">https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html</a></div><div><br></div><div>:~/ppl$ git checkout devel<br>error: pathspec 'devel' did not match any file(s) known to git<br></div><div><br></div><div>I have also gone through README.configure, but that also does not specify the command that will checkout the devel branch.<br></div><div><br></div><div>Thanks.</div><div>Tryer</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
</blockquote></div></div>