From a5fb51ff3d6bf8a257db1a8189ae83bad5196dd7 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Thu, 14 Oct 2021 22:23:39 +0200 Subject: [PATCH] Add some notes about uninstalling runtime --- src/runtime/c/README.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/src/runtime/c/README.md b/src/runtime/c/README.md index fd140b010..43f394891 100644 --- a/src/runtime/c/README.md +++ b/src/runtime/c/README.md @@ -40,3 +40,24 @@ The shared libraries are installed in `/usr/local/lib`. - Compiling GF with this runtime will require flag `--extra-lib-dirs=/usr/local/lib`. - Running GF with this runtime will require environment variable `LD_LIBRARY_PATH=/usr/local/lib` + +## Uninstalling + +To remove the _old_ C runtime from your system, do: +``` +rm /usr/local/lib/libpgf.* +rm /usr/local/lib/libgu.* +rm /usr/local/lib/libsg.* +rm -rf /usr/local/include/pgf +``` + +To remove _this_ version of the runtime from your system, do: +``` +rm /usr/local/lib/libpgf.* +rm -rf /usr/local/include/pgf +``` + +To clean all generated build files from this directory, use: +``` +git clean -Xdf +```