Try   HackMD

How to install PHAVer

  • From Official Website, 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 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
            • 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