Comments (9)
nberth
commented on August 30, 2024
1
Ok great! I'll also push a release through OPAM soon.
from mlgmpidl.
nberth
commented on August 30, 2024
Sure! Commit 2aa5393 fixes that I guess. Are you able to test it before I make a release through OPAM?
Thanks for reporting this issue.
from mlgmpidl.
vbgl
commented on August 30, 2024
Thanks! I’ll try to test and then report here.
from mlgmpidl.
vbgl
commented on August 30, 2024
This does not work. See https://logs.nix.ci/?attempt_id=95367e81-de40-4221-a04f-c9affca70bdb&key=nixos%2Fnixpkgs.56154.
ocamlopt -config outputs:
cc_profile: -pg
profiling: false
from mlgmpidl.
nberth
commented on August 30, 2024
Haha! not all versions of OCaml output this `profiling:' thingy then. I'll take it into account when it shows up then.
from mlgmpidl.
nberth
commented on August 30, 2024
Commit a0235d5 should handle cases where profiling is disabled whereas profiling flags are provided
from mlgmpidl.
vbgl
commented on August 30, 2024
Maybe in the “not supported” case, should the enable_prof variable be set to 0.
from mlgmpidl.
nberth
commented on August 30, 2024
Oh yes indeed. My bad I did that very quicky before leaving and overlooked it. Thanks again.
Edit: see commit 2c2441d
from mlgmpidl.
vbgl
commented on August 30, 2024
Thanks! That worked (log of a build success: https://logs.nix.ci/?attempt_id=fbebe138-228d-4654-af76-b4522fd18844&key=nixos%2Fnixpkgs.56154).
from mlgmpidl.
Related Issues (14)
- Issue at link-time when using both gmp and glpk HOT 2
- 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
- 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.