I tried to compile the OCaml version for Z3, however when I build it, it always shows a bunch of error and warning.
These are several of the errors:
z3_stubs.c:7384: error: storage size of `_ctxs' isn't known
z3_stubs.c:7385: error: `camlidl_ctx' undeclared (first use in this function)
z3_stubs.c:7385: error: expected `;' before `_ctx'
I dont really get it, I just try to run the build.cmd, and the error happens, anyone has an idea?
Do you have camlidl installed?
Related
When I try and compile Cyclictest, I get the following:
error: 'SCHED_IDLE' undeclared
I am using linux kernel 3.14 from the following:
ftp.embeddedarm.com/ts-socket-macrocontrollers/ts-4700-linux/cross-toolchains/arm-2008q3.tar.gz
and cross-compiling for my board. I am using the following from the command line, but it fails every time. According to what I read, the 3.14 kernel and greater should have the Scheduler, so not sure why it is failing.
export CROSS_COMPILE=/opt/toolchains/arm-2008q3/bin/arm-none-linux-gnueabi-gcc
Thoughts?
I am currently compiling the SPEC CPU06 benchmark using gcc 6.1. I got a compiling error on soplex. Two of several messages are as following:
error: no match for 'operator==' (operand types are 'std::basic_istream<char>::__istream_type {aka std::basic_istream<char>}' and 'int').
I think I must have missed something while compiling but cannot find what exactly caused this. Can anyone help on this?
Compiling Ros (Jade) on OSX using this tutorial, I get the following error for rosbag_storage while running ./src/catkin/bin/catkin_make_isolated --install -DCMAKE_BUILD_TYPE=Release:
ros/ros_catkin_ws/src/ros_comm/rosbag_storage/src/buffer.cpp:71:5: error: use of undeclared identifier 'assert'
assert(buffer_);
And then a bunch of errors of the kind:
/usr/local/include/boost/smart_ptr/shared_ptr.hpp:916:9: error: use of undeclared identifier 'assert'
BOOST_ASSERT( deleter_.use_count() <= 1 );
Where could that come from?
Looks like it was coming from a conflict with GStreamer, like in this issue. Just removing /Library/Frameworks/GStreamer.framework/Headers/assert.h was enough to solve the problem:
mv /Library/Frameworks/GStreamer.framework/Headers/assert.h /Library/Frameworks/GStreamer.framework/Headers/assert.h.bak
I'm trying to get OpenCV built on OSX (Yosemite), following this guide: http://blogs.wcode.org/2014/10/howto-install-build-and-use-opencv-macosx-10-10/
Got the static libs built fine but when building the shared libs I get errors, including the following:
/Users/chrismash/Development/OSX/WireframeUpscaler/WireframeUpscaler/ThirdParty/opencv-3.0.0/modules/core/src/ocl.cpp:2700:49:
error:
use of undeclared identifier 'clEnqueueSVMUnmap'; did you mean
'svm::SVMFunctions::fn_clEnqueueSVMUnmap'? ...= clEnqueueSVMUnmap;
^~~~~~~~~~~~~~~~~
svm::SVMFunctions::fn_clEnqueueSVMUnmap
/Users/chrismash/Development/OSX/WireframeUpscaler/WireframeUpscaler/ThirdParty/opencv-3.0.0/modules/core/src/ocl.cpp:2700:49:
error:
invalid use of non-static data member 'fn_clEnqueueSVMUnmap'
svmFunctions.fn_clEnqueueSVMUnmap = clEnqueueSVMUnmap;
Any ideas where I might be going wrong...?
As #jprice pointed out it seems I somehow got the WITH_OPENCL_SVM option enabled in CMake. Because OS X doesn't support OpenCL 2.0 yet it should be unticked.
I'm trying to understand how to fix error:
C:\inetpub\wwwroot\DISCOU~2>gem install fast_stack
ERROR: Error installing fast_stack:
ERROR: Failed to build gem native extension.
C:/Ruby200/bin/ruby.exe extconf.rb
creating Makefile
make "DESTDIR="
generating fast_stack-i386-mingw32.def
compiling fast_stack.c
In file included from c:/Ruby200/include/ruby-2.0.0/ruby/defines.h:153:0,
from c:/Ruby200/include/ruby-2.0.0/ruby/ruby.h:70,
from c:/Ruby200/include/ruby-2.0.0/ruby.h:33,
from fast_stack.c:3:
c:/Ruby200/include/ruby-2.0.0/ruby/win32.h:276:12: error: conflicting types for 'gettimeofday'
In file included from fast_stack.c:2:0:
c:\ruby200\devkit\mingw\bin\../lib/gcc/i686-w64-mingw32/4.7.2/../../../../i686-w64-mingw32/include/sys/time.h:42:13: note: previous declaration of 'gettimeofday' was here
fast_stack.c: In function 'rb_profile_start':
fast_stack.c:9:22: error: storage size of 'timer' isn't known
fast_stack.c:11:34: error: 'suseconds_t' undeclared (first use in this function)
fast_stack.c:11:34: note: each undeclared identifier is reported only once for each function it appears in
fast_stack.c:11:46: error: expected ';' before 'rb_num2long_inline'
fast_stack.c:13:5: warning: implicit declaration of function 'setitimer' [-Wimplicit-function-declaration]
fast_stack.c:13:15: error: 'ITIMER_REAL' undeclared (first use in this function)
fast_stack.c:9:22: warning: unused variable 'timer' [-Wunused-variable]
fast_stack.c: In function 'rb_profile_stop':
fast_stack.c:21:22: error: storage size of 'timer' isn't known
fast_stack.c:23:15: error: 'ITIMER_REAL' undeclared (first use in this function)
fast_stack.c:21:22: warning: unused variable 'timer' [-Wunused-variable]
make: *** [fast_stack.o] Error 1
Gem files will remain installed in C:/inetpub/wwwroot/DISCOU~2/GEM_HOME/gems/fast_stack-0.1.0 for inspection.
It happens when I write "bundle install" command for the discourse.org application installing on Helicon Zoo environment.
It appears that it's not the Zoo itself, more issue with the gem. Try to install it separately, outside the environment of Zoo. Simply Ruby, in test catalog, but outside the Zoo. If that's working, contact HeliconTech directly and address as an issue, they're quite quick and good at fixing these things.