How To Install ppl-gprolog-static on Fedora 36
Introduction
In this tutorial we learn how to install ppl-gprolog-static
on Fedora 36.
What is ppl-gprolog-static
This package contains the static archive for the GNU Prolog interface of the Parma Polyhedra Library.
We can use yum
or dnf
to install ppl-gprolog-static
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ppl-gprolog-static.
Install ppl-gprolog-static on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install ppl-gprolog-static
using dnf
by running the following command:
sudo dnf -y install ppl-gprolog-static
Install ppl-gprolog-static on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install ppl-gprolog-static
using yum
by running the following command:
sudo yum -y install ppl-gprolog-static
How To Uninstall ppl-gprolog-static on Fedora 36
To uninstall only the ppl-gprolog-static
package we can use the following command:
sudo dnf remove ppl-gprolog-static
ppl-gprolog-static Package Contents on Fedora 36
/usr/lib64/ppl/libppl_gprolog.a
References
Summary
In this tutorial we learn how to install ppl-gprolog-static
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install ppl-gprolog-static on Fedora 36” linkTitle: “ppl-gprolog-static” type: “docs” description: “In this tutorial we learn how to install ppl-gprolog-static in Fedora 36. ppl-gprolog-static is The static archive for the GNU Prolog interface of the Parma Polyhedra Library” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ppl-gprolog-static-featured.png
Introduction
In this tutorial we learn how to install ppl-gprolog-static
on Fedora 36.
What is ppl-gprolog-static
This package contains the static archive for the GNU Prolog interface of the Parma Polyhedra Library.
We can use yum
or dnf
to install ppl-gprolog-static
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ppl-gprolog-static.
Install ppl-gprolog-static on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install ppl-gprolog-static
using dnf
by running the following command:
sudo dnf -y install ppl-gprolog-static
Install ppl-gprolog-static on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install ppl-gprolog-static
using yum
by running the following command:
sudo yum -y install ppl-gprolog-static
How To Uninstall ppl-gprolog-static on Fedora 36
To uninstall only the ppl-gprolog-static
package we can use the following command:
sudo dnf remove ppl-gprolog-static
ppl-gprolog-static Package Contents on Fedora 36
/usr/lib/ppl/libppl_gprolog.a
References
Summary
In this tutorial we learn how to install ppl-gprolog-static
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).