Comments (6)
This looks like you've built for i386, but you need to build with the CCFLAGS=-arch i386
.
There's a note about this in the readme, have you tried using this option? Make sure to do a make clean
beforehand.
from redexer.
Setted CFLAGS and CCFLAGS as in the readme.
Il giorno 03/apr/2014, alle ore 16:04, Kristopher Micinski [email protected] ha scritto:
This looks like you've built for i386, but you need to build with the CCFLAGS=-arch i386.
There's a note about this in the readme, have you tried using this option? Make sure to do a make clean beforehand.
—
Reply to this email directly or view it on GitHub.
from redexer.
I just tried a fresh build on my mac, and got the same error. Using ocaml
4.01.0 (from opam) I was able to progress farther:
Undefined symbols for architecture x86_64:
"_read_ppc", referenced from:
_read_pentium_perfcount in stats_stubs.o
ld: symbol(s) not found for architecture x86_64
That's the error I got, and I'm not sure what's happening with it. I will
look into the issue today.
Kris
On Thu, Apr 3, 2014 at 10:39 AM, algobardo [email protected] wrote:
Setted CFLAGS and CCFLAGS as in the readme.
Il giorno 03/apr/2014, alle ore 16:04, Kristopher Micinski <
[email protected]> ha scritto:This looks like you've built for i386, but you need to build with the
CCFLAGS=-arch i386.There's a note about this in the readme, have you tried using this
option? Make sure to do a make clean beforehand.Reply to this email directly or view it on GitHub.
Reply to this email directly or view it on GitHubhttps://github.com//issues/7#issuecomment-39458766
.
from redexer.
Performance counters are borrowed from CIL, C Intermediate Language. It seems hardware counters are no longer maintained, and thus discarded from redexer as well. (./configure is removed, too.) Please update the repo, and just make again.
Thanks,
Jinseong
from redexer.
I'm trying to compile CEAL and I'm getting the following error, which Kris got above:
Linking bytecode obj/x86_DARWIN/cilly.byte.exe
+ clang -Wl,-no_compact_unwind -o 'obj/x86_DARWIN/cilly.byte.exe' '-L/usr/local/lib/ocaml' -g '/var/folders/t7/_4_c10rn4jxbn0qx2wrtyk480000gp/T/camlprim96cdda.c' '-lcamlstr' '-lunix' '-lunix' '-lstr' 'obj/x86_DARWIN/perfcount.o' '-lcamlrun' -I'/usr/local/lib/ocaml' -lcurses -lpthread
Undefined symbols for architecture x86_64:
"_read_ppc", referenced from:
_read_pentium_perfcount in perfcount.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
File "_none_", line 1:
Error: Error while building custom runtime system
make: *** [obj/x86_DARWIN/cilly.byte.exe] Error 2
What was the fix for this?
from redexer.
In our case I think the answer was to simply remove the old deprecated
performance counters (that used hardware counters) from redexer and use
software counters instead: that didn't link to this problematic function.
The old advice that fixed this was setting CCFLAGS=-arch i386 in the
configuration.
In general, though, these linking issues seem to be because there is some
weirdness with clang: I'm sorry I can't be more helpful than that though.
Maybe you could track down the hardware counters in CEAL and hack them out
like we did in redexer?
Kris
On Sun, Mar 15, 2015 at 1:03 PM, Matthew Hammer [email protected]
wrote:
I'm trying to compile CEAL and I'm getting the following error, which Kris
got above:Linking bytecode obj/x86_DARWIN/cilly.byte.exe
- clang -Wl,-no_compact_unwind -o 'obj/x86_DARWIN/cilly.byte.exe' '-L/usr/local/lib/ocaml' -g '/var/folders/t7/_4_c10rn4jxbn0qx2wrtyk480000gp/T/camlprim96cdda.c' '-lcamlstr' '-lunix' '-lunix' '-lstr' 'obj/x86_DARWIN/perfcount.o' '-lcamlrun' -I'/usr/local/lib/ocaml' -lcurses -lpthread
Undefined symbols for architecture x86_64:
"_read_ppc", referenced from:
_read_pentium_perfcount in perfcount.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
File "none", line 1:
Error: Error while building custom runtime system
make: *** [obj/x86_DARWIN/cilly.byte.exe] Error 2What was the fix for this?
—
Reply to this email directly or view it on GitHub
#7 (comment).
from redexer.
Related Issues (20)
- redexer against facebook.apk HOT 1
- Redexer crashes during logging HOT 4
- Logging instrumentation inserts `onCreate` etc.. even if methods are final in superclass HOT 1
- Check fine grained regex based logging for method entries along with calls
- Redexer doesn't instruments runnable functions.
- `opr_expander` pass generates ill typed code for `if-ne` instruction HOT 5
- Implement proper dataflow analysis for reaching definitions using a powerset lattice for register
- Try / catch blocks are dropped when logging
- Make fail with can't find SHA library HOT 10
- the discuss of 'directed exploration' HOT 8
- zipalign is removed in new sdk tools HOT 1
- `trans_adder` pass mangles method links HOT 7
- Multi-dex support HOT 1
- Logger fails to account for static methods, assumes all will have at least one param
- Redexer infinite-loops on some APKs
- basic apk logging issue HOT 4
- Dex API too leaky: tries length vs tries
- [master branch] redexer throws Exception: DynArray.Invalid_arg HOT 1
- compilation issue
- Extract the disassemly and DEX parsers into separate opam packages HOT 8
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 redexer.