Comments (3)
TL;DR; reinstall bap from a fresh new switch,
opam switch create bap --comp=4.12.1 # where bap is a name for the fresh new opam switch
opam install bap
Longer story. It looks like you first installed OCaml, then updated your macOS, and the installed bap. And during the update macOS broke ABI so you have to rebuild any files built with the older version. Upgrading macOS made things even worse so that old build artifacts became even older, since upgrading macOS will not rebuild any files in your opam installation.
from bap.
@Troy-Cao, feel free to re-open the issue or drop by Gitter if you still have any problems.
from bap.
[ERROR] The compilation of bap-std.2.4.0 failed at "make".
#=== ERROR while compiling bap-std.2.4.0 ======================================#
context 2.1.2 | macos/x86_64 | ocaml-base-compiler.4.12.1 | https://opam.ocaml.org#146d34e8
path ~/.opam/bap/.opam-switch/build/bap-std.2.4.0
command ~/.opam/opam-init/hooks/sandbox.sh build make
exit-code 2
env-file ~/.opam/log/bap-std-29512-ab7118.env
output-file ~/.opam/log/bap-std-29512-ab7118.out
output
[...]
ld: warning: object file (/Users/yannangao/.opam/bap/lib/ocaml/stdlib.a(stdlib__random.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/yannangao/.opam/bap/lib/ocaml/stdlib.a(stdlib__scanf.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/stdlib.a(stdlib__seq.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/stdlib.a(stdlib__set.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/stdlib.a(stdlib__stack.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/stdlib.a(stdlib__stream.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/stdlib.a(stdlib__string.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/stdlib.a(stdlib__sys.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/stdlib.a(stdlib__uchar.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/unix.a(unixLabels.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
ld: warning: object file (/Users/user_1/.opam/bap/lib/ocaml/unix.a(unix.o)) was built for newer macOS version (10.17) than being linked (10.15.6)
make: *** [build] Error 1
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build bap-std 2.4.0
+-
Hi, Ivg @ivg. Same problem when I created a new switch and tried to install bap in that switch.
from bap.
Related Issues (20)
- Version 2.4 is missing at docker hub HOT 3
- [ERROR] The compilation of conf-binutils.0.2 failed at "ocaml find-binutils.ml". HOT 2
- Missing llvm Problem HOT 4
- Can bap analyze text assembly file? HOT 2
- llvm:symbol-entry errors on llvm 11.0 with x86-64 binaries compiled on windows HOT 1
- OCaml 5.0 support / Dune HOT 2
- relax the z3 constraint
- Runtime Failure with Spectre Recipe HOT 1
- Bugs found in BAP float operations HOT 1
- Bugs found on recipes
- undefined symbol: Z3_mk_lambda
- bap-common package not found from opam
- monads: `core_kernel.rope` no longer exists in v0.16 HOT 3
- String Theory (SMT-like) support HOT 1
- Dependency problem
- failed to load plugin "primus-symbolic-executor"
- Compatibility for /lib64 suffix HOT 1
- Fedora 38 x86_64: `'opam install -vv bap' failed.` HOT 2
- ghidra_disasm.cpp:10:10: fatal error: ghidra/loadimage.hh: No such file or directory 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 bap.