How To Install ppl on Fedora 34

ppl is The Parma Polyhedra Library The Parma Polyhedra Library

Introduction

In this tutorial we learn how to install ppl on Fedora 34.

What is `ppl`

The Parma Polyhedra Library (PPL) is a library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces. ppl 1.2 19.fc34 x86_64 1.7 M ppl-1.2-19.fc34.src.rpm fedora The Parma Polyhedra Library http GPLv3+ The Parma Polyhedra Library (PPL) is a library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces.

We can use yum or dnf to install ppl on Fedora 34. In this tutorial we discuss both methods but you only need to choose one of method to install ppl.

Install ppl on Fedora 34 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

After updating yum database, We can install ppl using dnf by running the following command:

sudo dnf -y install ppl

Install ppl on Fedora 34 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

After updating yum database, We can install ppl using yum by running the following command:

sudo yum -y install ppl

How To Uninstall ppl on Fedora 34

To uninstall only the ppl package we can use the following command:

sudo dnf remove ppl

ppl Package Contents on Fedora 34

/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/19
/usr/lib/.build-id/19/1b83dd3d5c548c3ae83fbe0d85d84a8cab3240
/usr/lib/.build-id/31
/usr/lib/.build-id/31/dbbd994a4fb94a8de3a6b1cac9927b5ac95b1d
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/fe9414df3b7d2af1c022f4a6abdcf3713f0414
/usr/lib64/libppl.so.14
/usr/lib64/libppl.so.14.0.0
/usr/lib64/libppl_c.so.4
/usr/lib64/libppl_c.so.4.0.0
/usr/lib64/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS
/usr/share/doc/ppl/COPYING
/usr/share/doc/ppl/CREDITS
/usr/share/doc/ppl/NEWS
/usr/share/doc/ppl/README
/usr/share/doc/ppl/README.configure
/usr/share/doc/ppl/TODO
/usr/share/doc/ppl/gpl.txt
/usr/share/man/man1/ppl-config.1.gz
/usr/share/ppl
/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/22
/usr/lib/.build-id/22/9dd8b96044fa5ad8e7fb2a81bf7b7b90ac1ce9
/usr/lib/.build-id/37
/usr/lib/.build-id/37/eb594eae8c5aaf391f781c8224015d7aaeee9e
/usr/lib/.build-id/59
/usr/lib/.build-id/59/be234eafc8854c777fae39b5f148960cbd9d86
/usr/lib/libppl.so.14
/usr/lib/libppl.so.14.0.0
/usr/lib/libppl_c.so.4
/usr/lib/libppl_c.so.4.0.0
/usr/lib/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS
/usr/share/doc/ppl/COPYING
/usr/share/doc/ppl/CREDITS
/usr/share/doc/ppl/NEWS
/usr/share/doc/ppl/README
/usr/share/doc/ppl/README.configure
/usr/share/doc/ppl/TODO
/usr/share/doc/ppl/gpl.txt
/usr/share/man/man1/ppl-config.1.gz
/usr/share/ppl

References

[ppl website](http://www.bugseng.com/ppl http://www.bugseng.com/ppl)

Summary

In this tutorial we learn how to install ppl on Fedora 34 using yum and dnf.