Comments (6)
Looking over the repo, it appears that the issue is likely with a missing gmp header. However, I'm not sure how to track it down on OSX; AFAICT Homebrew doesn't have a dev version of gmp like pacman and friends.
from cddlib.jl.
Yes, Julia installs GMP libraries but not necessarily GMP headers :(
On Travis, both GMP headers and libraries were already there for Mac and for Linux I just had to add the libgmp-dev
package.
Windows isn't supported yet and I thought all Mac would have the headers but apparently this is not the case :'(
from cddlib.jl.
Maybe I should just download GMP, unzip it and link to the headers like that. This sounds ugly since it may not be same version as the version of the libraries already installed by Julia but this could also work for Windows... Or maybe I should check how Julia handles the GMP installation and try to do something similar
from cddlib.jl.
It seems that what Julia does is either use GMP from a package manager of build GMP 6.1.0 from scratch (that might be the solution used for Windows).
If I can find a way to check whether the headers are available, I could just download GMP 6.1.0 if it is not the case.
Or maybe the easiest way would be to patch cddlib to let it handle it ^^ For instance GLPK.jl does not seem to worry to much about GMP in its deps/build.jl
because I guess that glpk does all the job
from cddlib.jl.
I just looked more closely at your error. It seems that you have GMP and the issue is rather that you do not have -lgmp
in the link commands that fail.
Which version of CDDLib.jl
are you using ? Did you do Pkg.checkout("CDDLib")
?
from cddlib.jl.
Wow, I could've sworn I tried this before...it's working now (after checking out)! Thanks a bunch.
from cddlib.jl.
Related Issues (20)
- Cannot find ddf_SetMatrixNumberType HOT 6
- Neither 0 or 1 in first index of V-rep HOT 2
- v0.5.0 HOT 3
- coefficient_type(::Optimizer{T}) HOT 2
- v0.5.1 HOT 3
- Build Error on Windows HOT 22
- Numerically inconsistent HOT 19
- Incompatible with newest JuMP release HOT 2
- Build error in a fresh Julia v1.4
- Broken build on Windows and julia 1.4.1 HOT 3
- Segfault in dd_blockelimination HOT 4
- TagBot trigger issue HOT 8
- SegFault for BlockElimination HOT 8
- computevrep! not implemented
- Adjacent vertices (edges) HOT 6
- No method matching sethrep!(::CDDLib.Polyhedron, ::CDDInequalityMatrix) HOT 2
- MathOptInterface says that Interval and GreaterThan constraints aren't supported by CDDLib HOT 4
- `eliminate` does not return unique HalfSpaces and HyperPlanes HOT 1
- Segfault on PkgEval during lpsolve HOT 4
- Error in test.jl HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cddlib.jl.