Skip to content
Permalink
Browse files

Added solution for potential Win10 issue (#370)

When trying to install fplll again in Windows 10, I had the minor issue mentioned above, and found a simple fix online -- it might be useful for others too if they encounter the same issue.
  • Loading branch information...
tmmlaarhoven authored and malb committed May 25, 2019
1 parent e0c79ee commit 14ed902cf45c2e5449cc46af6771712335c68997
Showing with 2 additions and 0 deletions.
  1. +2 −0 README.md
@@ -120,6 +120,8 @@ Then run `sudo apt-get install <packages>` for the (indirectly) required package

The same comments as before apply for using e.g. `make install` or `make distclean` instead of `make`.

Note: to fix a potential error `libfplll.so.5: cannot open shared object file: No such file or directory` raised after trying to run `fplll` after a successful compilation, find the location of `libfplll.so.5` (probably something like `/../fplll/.libs/`; run `find -name libfplll.so.5` to find it) and run `export LD_LIBRARY_PATH=<path>`.

## Check ##

Type

0 comments on commit 14ed902

Please sign in to comment.
You can’t perform that action at this time.