Access the Parma Polyhedra Library Using Git

The Parma Polyhedra Library is currently being maintained on a publicly readable Git ¹ repository at https://github.com/BUGSENG/PPL.git .

The canonical PPL repository is hosted on GitHub at https://github.com/BUGSENG/PPL.git . Clone it to get the sources; to contribute, fork the repository on GitHub and open a pull request.

Read-Only Anonymous Git Access

For this to work you need to install a reasonably recent version of Git  on your system.

In order to clone the repository of the PPL sources, issue the command

git clone https://github.com/BUGSENG/PPL.git

This will put your clone into the ppl directory. If you want the directory to be named differently you can specify the name as in

git clone https://github.com/BUGSENG/PPL.git my_ppl_repo

The above commands will give you repositories with the complete development history. If you only want the latest revision of anything, use the following command instead:

git clone —depth 1 https://github.com/BUGSENG/PPL.git my_ppl_no_history_repo

After the initial checkout, you can change into one of the project’s directories and execute any Git command that does not require read-write access to the central repository. For example, whenever you want to merge with the latest code changes, cd into your ppl directory and issue the command

git pull

Using Git

Documentation

• The Git web sites contains all the documentation you can dream of .
• Using git without feeling stupid (part 1) , by Paolo Bonzini.
• Using git without feeling stupid (part 2) , by Paolo Bonzini.

Tips

More About Git Configuration

The following command will define a git wup command that you could use before any git push to check what you are about to push to the central repository:

git config —global alias.wup “log -p origin..@0“

Tips from External Sources

• Lots of tips on this Basic Git usage  page.