# 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)~~