Open mt1022 opened 8 years ago
I have the same problem.
@mt1022 Do you resolve it?
@wmcandy It is more than one years ago. I can run it now but I forgot how I installed it.Have you tried to download the tarball and installed it without OPAM as suggested in the repo's homepage:
Without OPAM, extract the source tarball and make install. This installs the executable to PREFIX/bin where PREFIX=/usr/local. You can override this with make install PREFIX=/home/alice