Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #706 from jrl-umi3218/glpk
find-external: libglpk.so is not in include/glpk
- Loading branch information