Comments (5)
What distribution are you using and how did you install gmp
? I'm not sure why it is in /home/amthakur/.local/libgmp-dev/usr/lib/x86_64-linux-gnu/libgmp.a
...
from zarith.
There have been issues with gmp and macos, especially ARM chip ones.
I've been able to resolve this by locating the gmp installed via brew:
brew info gmp
/opt/homebrew/Cellar/gmp/6.3.0
And building Zarith locally :
export CPPFLAGS="-I/opt/homebrew/Cellar/gmp/6.3.0/include $CPPFLAGS"
export LDFLAGS="-L/opt/homebrew/Cellar/gmp/6.3.0/lib $LDFLAGS"
./configure
make
from zarith.
There have been issues with gmp and macos, especially ARM chip ones.
What kind of issues?
Have you tried Zarith 1.14?
I ask this because the issue reported here initially by camit9oct corresponds to Zarith 1.13 on x86_64 with a version of gmp possibly installed by hand. It may not correspond to your issues (if you're using 1.14 and/or ARM) or may have been already fixed (if you're using 1.13). Also, the page you're linking does not mention ARM and may not be related to any issue that can be solved by changing paths, so I'm a bit confused about the link between the reported issue and your proposed solution.
Concerning your issue. Homebrew has changed its install paths since ARM. But we now rely on pkg-config
for the include and library paths, so, my hope is that such a change is automatically taken care of (I may be mistaken).
from zarith.
My bad, i missinterpreted this issue as being related to the problem i encountered. I created a separate issue for my specific problem.
from zarith.
Fixed it by deleting the installation /home/amthakur/.local/libgmp-dev/
, then logging in as a sudo
user, installing Zarith
in sudo
mode and it worked.
from zarith.
Related Issues (20)
- Feature request: Modular (or Machine) arithmetic HOT 10
- Cannot convert large integers to int64 HOT 4
- Suggestion: having _opt version without exceptions HOT 2
- Mars HOT 1
- Publish Z_mlgmpidl module on opam HOT 2
- Is the internal representation of Z values canonical? HOT 4
- Building with ocamlc: make: posix_spawn: ocamlopt: No such file or directory HOT 12
- Naive question about static linking HOT 2
- Typo in q.mli HOT 1
- trying to install zarith on cygwin (with opam, of course) HOT 3
- Setting `OCAMLFIND_DESTDIR` can mess with opam installation HOT 5
- Redefinition of int operators HOT 3
- divisible is slow HOT 1
- Any plans to release new version?🤔 HOT 5
- Requesting `Z.of_int128` and `Z.of_int256` and its unsigned versions HOT 1
- Non-canonical values when deserializing large integers from 32 bits arch on a 64 bits arch HOT 5
- Any hard feelings against Q.of_bigints? HOT 3
- Error Z.t is not compatible with type Big_int.big_int HOT 3
- Compiling Zarith 1.14 on MacOS ARM 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 zarith.