psuter/ScalaZ3 — pull request #5 by msama (2012-07-19 10:50:25+00:00)
Title: Added Real support

I added Real constant declaration as fractions (int / int) following the Z3 api
I added support for Z3 4.0
I moved scala test to the right folder.

I am having issues in compiling under OS X but it is probably my build system. Under linux-debian works correctly.

The error that I get in OS X is the following:
[info] == gcc-osx ==
[info] Compiling C library
[info] gcc -o /Users/rax/git/ScalaZ3/lib-bin/libscalaz3.jnilib -dynamiclib -I/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/include -I/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers -I/Users/rax/git/ScalaZ3/z3/x64/4.0/include -L/Users/rax/git/ScalaZ3/z3/x64/4.0/lib -g -lc -lz3 -fPIC -O2 -fopenmp /Users/rax/git/ScalaZ3/src/c/z3_thycallbacks.c /Users/rax/git/ScalaZ3/src/c/extra.c /Users/rax/git/ScalaZ3/src/c/casts.c /Users/rax/git/ScalaZ3/src/c/z3_Z3Wrapper.c
[error] Undefined symbols for architecture x86_64:
[error] "_Z3_trace_off", referenced from:
[error] _Java_z3_Z3Wrapper_traceOff in ccUdOQlM.o
[error] "_Z3_trace_to_stdout", referenced from:
[error] _Java_z3_Z3Wrapper_traceToStdout in ccUdOQlM.o
[error] "_Z3_trace_to_stderr", referenced from:
[error] _Java_z3_Z3Wrapper_traceToStderr in ccUdOQlM.o
[error] "_Z3_trace_to_file", referenced from:
[error] _Java_z3_Z3Wrapper_traceToFile in ccUdOQlM.o
[error] ld: symbol(s) not found for architecture x86_64
[error] collect2: ld returned 1 exit status
[info] == gcc-osx ==