Hello,
I am trying to install PPL on a new machine running 24.04 LTS ubuntu. I have git version 2.43.0
https://www.bugseng.com/ppl-download/ppl-git seems to indicate that git clone should work, but I obtain the following error:
:~$ git clone git://git.bugseng.com/ppl/ppl.git Cloning into 'ppl'... fatal: unable to connect to git.bugseng.com: git.bugseng.com[0: 79.60.221.62]: errno=Connection refused
In an earlier exchange, Roberto suggested the following:
"Again: do not use any bzip2 old distribution of PPL: use the Git version, devel branch."
Thank you. Tryer
On Thu, Jan 23, 2025 at 8:33 AM anoninus wundermonk@gmail.com wrote:
Hello,
I am trying to install PPL on a new machine running 24.04 LTS ubuntu. I have git version 2.43.0
https://www.bugseng.com/ppl-download/ppl-git seems to indicate that git clone should work, but I obtain the following error:
:~$ git clone git://git.bugseng.com/ppl/ppl.git Cloning into 'ppl'... fatal: unable to connect to git.bugseng.com: git.bugseng.com[0: 79.60.221.62]: errno=Connection refused
In an earlier exchange, Roberto suggested the following:
"Again: do not use any bzip2 old distribution of PPL: use the Git version, devel branch."
Thank you. Tryer
On Sun, Mar 20, 2022 at 4:59 AM anoninus wundermonk@gmail.com wrote:
It seems to be working fine now.
Thanks.
On Sun, Mar 13, 2022 at 2:22 PM anoninus wundermonk@gmail.com 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/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