---
# System prepended metadata

title: How to install PHAVer

---

# How to install PHAVer

- From [Official Website](http://www-verimag.imag.fr/~frehse/phaver_web/index.html), you’ll find two methods for installation.
- Environment: arch linux
- It FINALLY works with Method 1 (a) + Method 2 (a)
    - FYR, here are some problems I met and you probably have to fix it by:
        - In Method 1 (a), the url of PPL in the provided script doesn’t work, so I use [this](https://www.notion.so/Tips-2203275332984a949019dbeec999f542) instead.
        - In Method 2 (a), when you want to execute `./local/phaver/src/phaver`, you’ll encounter an error: `error while loading shared libraries: libstdc++.so.5: cannot open shared object file: No such file or directory` if you haven’t had `libstdc++.so.5` installed/linked.
            - To install, you can find something like `apt install`; however, in my case, I don’t have the permission to do in my environment.
            - Alternatives:
                - install `libstdc++5`
                    - [libstdc++5](https://aur.archlinux.org/packages/libstdc++5)
                    - [lib32-libstdc++5](https://aur.archlinux.org/packages/lib32-libstdc++5) (for 32-bit) if you got error: `error while loading shared libraries: libstdc++.so.5: wrong ELF class: ELFCLASS64`
                - in the repo
                    - `chmod +x PKGBUILD`
                    - `makepkg`
                - add to path
                    - `EXPORT LD_LIBRARY_PATH=$LD_LIBRARY_PATH/<your-path-to-libstdc++5-repo>/pkg/lib32-libstdc++5/usr/lib32/`
        - go back to `local/phaver/src` and run `./phaver`
- ~~Another alternative: [PHAVer Lite](https://www.cs.unipr.it/~zaffanella/PPLite/PHAVerLite)~~