From 49e1c08609be2716538388e6c1e0e79e52a10743 Mon Sep 17 00:00:00 2001
From: Christopher Schwan <handgranaten-herbert@posteo.de>
Date: Wed, 4 Sep 2024 14:11:29 +0200
Subject: [PATCH] Fix library installation directory

---
 .github/workflows/capi.yaml | 3 +--
 docs/installation.md        | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/capi.yaml b/.github/workflows/capi.yaml
index 90f3d021..5f9c49a2 100644
--- a/.github/workflows/capi.yaml
+++ b/.github/workflows/capi.yaml
@@ -16,8 +16,7 @@ jobs:
 
       - name: Install PineAPPL's C API
         run: |
-          export RUSTFLAGS="-Cinstrument-coverage"
-          cargo cinstall --verbose --prefix=/usr/local/ --manifest-path pineappl_capi/Cargo.toml
+          cargo cinstall --verbose --prefix=/usr/local/ --libdir=lib --manifest-path pineappl_capi/Cargo.toml
           ldconfig
 
       - name: Test C++ example
diff --git a/docs/installation.md b/docs/installation.md
index d01aa21f..d8cb00f0 100644
--- a/docs/installation.md
+++ b/docs/installation.md
@@ -75,7 +75,7 @@ If you want to build the CAPI from its sources instead, you first need to
 3. Now install `pineappl_capi`, PineAPPL's C API:
 
        cd pineappl_capi
-       cargo cinstall --release --prefix=${prefix}
+       cargo cinstall --release --prefix=${prefix} --libdir=lib
        cd ..
 
    where `${prefix}` points to the desired installation directory.