Comments (2)
After some investigation, I think this may be due to the way the glpk
library is built. More precisely, glpk.cma
is built in custom mode (by passing the -custom
flag to ocamlc
), and that does not seem to play well when multiple libraries with shared dependencies to external C libraries are to be linked together. After rebuilding ocaml-glpk
with and extra line NO_CUSTOM = yes
in src/Makefile
in its source tree, I managed to make your examples compile and execute correctly.
I have no clue yet as to why glpk.cma
would need to be built in custom
mode.
from mlgmpidl.
The information has been submitted (by mail) to the maintainers of the ocaml-glpk. Hoping some news soon.
from mlgmpidl.
Related Issues (14)
- Opam install fails with OCaml 4.12 flambda musl static HOT 5
- Cannot install through Opam in macOS 12.2.1 M1 chip HOT 4
- mlgmpidl and mlmpfr defines the same module HOT 2
- OCaml 5 support HOT 10
- MacOS + brew + opam: configuration script fails to detect mpfr HOT 12
- string and bytes HOT 5
- Compile error
- Dynamic native library (.cmxs) is not compiled anymore HOT 3
- Rounding modes are not working HOT 7
- Fixing some return types, adding some functions HOT 2
- Build failure on platforms where profiling is not available HOT 9
- Unspecified behavior w.r.t. Pervasives.compare HOT 2
- Mpfr.to_mpq is not working HOT 2
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 mlgmpidl.