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 ==
Thanks for doing this. Could you maybe open an issue for the MacOSX compilation problem? I'm not an Apple user but with some luck @koksal will be able to look into it.
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 ==