I followed the instructions in the documentation to install Dafny on Linux, but when I use xbuild dafny/Source/Dafny.sln I get the following trace:
reference:/usr/lib/mono/gac/System.Core/4.0.0.0__b77a5c561934e089/System.Core.dll /warn:4
CSC: error CS0518: The predefined type `System.Object' is not defined or imported
CSC: error CS0518: The predefined type `System.ValueType' is not defined or imported
CSC: error CS0518: The predefined type `System.Attribute' is not defined or imported
CSC: error CS0518: The predefined type `System.Int32' is not defined or imported
CSC: error CS0518: The predefined type `System.UInt32' is not defined or imported
I used the 64-bit version of Linux Mint 18.1. I get the same error in other Linux distributions as well (Fedora and Ubuntu).
The previous step (xbuild Source/Boogie.sln works fine)
Any help would be appreciated.
Thanks.
I added the following statement /p:TargetFrameworkVersion="v4.5" after xbuild dafny/Source/Dafny.sln and it was built successfully.
Related
I'm migrating from gradle, and I'm using public.xml on my android project, it works fine with gradle, but when I build it with bazel, it failed with the following error:
Error: /var/folders/th/cxy34j2x0vq9zzdh8qstx5jr0000gn/T/android_resources_tmp2185237642135735709/merged_resources/values/values.xml:6772: error: Public symbol drawable/skin_at declared here is not defined.
Error: /var/folders/th/cxy34j2x0vq9zzdh8qstx5jr0000gn/T/android_resources_tmp2185237642135735709/merged_resources/values/values.xml:6774: error: Public symbol drawable/skin_at_click declared here is not defined.
Error: /var/folders/th/cxy34j2x0vq9zzdh8qstx5jr0000gn/T/android_resources_tmp2185237642135735709/merged_resources/values/values.xml:6776: error: Public symbol drawable/skin_face declared here is not defined.
Error: /var/folders/th/cxy34j2x0vq9zzdh8qstx5jr0000gn/T/android_resources_tmp2185237642135735709/merged_resources/values/values.xml:6778: error: Public symbol drawable/skin_face_click declared here is not defined.
Error: /var/folders/th/cxy34j2x0vq9zzdh8qstx5jr0000gn/T/android_resources_tmp2185237642135735709/merged_resources/values/values.xml:6780: error: Public symbol drawable/skin_keyboard declared here is not defined.
Error: /var/folders/th/cxy34j2x0vq9zzdh8qstx5jr0000gn/T/android_resources_tmp2185237642135735709/merged_resources/values/values.xml:6782: error: Public symbol drawable/skin_keyboard_click declared here is not defined.
What should I do here to solve this problem?
Thanks very much for any help!
Bazel 0.4.5 (the current version at time of writing) does not support private resources and public.xml files. This is because this functionality is implemented by Gradle, not the underlying tools (aapt). There is an open feature request for Bazel to reimplement this feature of Gradle here: https://github.com/bazelbuild/bazel/issues/2124.
I need to build OpenCV from source, because I want to make modifications to it. So using pre-built binaries is not an option for me. I'm doing this on Windows 8. I do not have MS Visual Studio, and I don't want to use it.
Here is how I reproduce the build error:
I git clone https://github.com/opencv/opencv
I use CMake 3.7.1, press Configure, then press Generate. It seems to work (no errors). I named the output folder opencv/release.
I go to the opencv/release folder, and type mingw32-make.
Eventually, after compiling for a while, it displays the following error message:
Building CXX object modules/core/CMakeFiles/opencv_core.dir/src/parallel.cpp.obj
modules\core\src\parallel.cpp:135:43: error: operator '&&' has no right operand
modules\core\src\parallel.cpp: In function 'void cv::parallel_for_(const cv::Range&, const cv::ParallelLoopBody&, double)':
modules\core\src\parallel.cpp:311:52: error: 'parallel_for_pthreads' was not declared in this scope parallel_for_pthreads(range, body, nstripes);
^
modules\core\src\parallel.cpp: In function 'int cv::getNumThreads()':
modules\core\src\parallel.cpp:370:50: error: 'parallel_pthreads_get_threads_num' was not declared in this scope return parallel_pthreads_get_threads_num();
^
modules\core\src\parallel.cpp: In function 'void cv::setNumThreads(int)':
modules\core\src\parallel.cpp:431:46: error: 'parallel_pthreads_set_threads_num' was not declared in this scope parallel_pthreads_set_threads_num(threads);
^
modules\core\CMakeFiles\opencv_core.dir\build.make:990: recipe for target 'modules/core/CMakeFiles/opencv_core.dir/src/parallel.cpp.obj' failed mingw32-make[2]: *** [modules/core/CMakeFiles/opencv_core.dir/src/parallel.cpp.obj] Error 1
Note: I tried to compile both with and without TPP (in the CMake config), and I get the same error message.
Also, I read the other similar questions on StackOverflow and the answers do not help.
I'm running ant script (build.xml) which specifies JDK path that is on server:
(WebLogic 10.3.6 which is using jdk 1.6.0.3.)
But facing below error:
[wlcompile] [JAM] Error: Value of annotation member type is of an unexpected type: class com.sun.tools.javadoc.ParameterizedTypeImpl [javax.xml.bind.JAXBElement]
Can someone suggest just what may be the problem?
I try to install a ROS indigo package jsk_recognition for chessboard detection and relative position, I have opencv-3.0.0-rc1 on Ubuntu 14.04. When I try to catkin_make the package I receive build errors, quit a lot, the full report is here, but it starts like:
[ 73%] Building CXX object
vision/jsk_recognition-master/jsk_perception/CMakeFiles/roi_to_mask_image.dir/roi_to_mask_image.cpp.o
/home/elod/catkin_ws/src/vision/jsk_recognition-master/jsk_perception/src/linemod.cpp:69:57:
error: ‘linemod’ is not a member of ‘cv’ std::vector<CvPoint>
maskFromTemplate(const std::vector<cv::linemod::Template>& templates,
^ /home/elod/catkin_ws/src/vision/jsk_recognition-master/jsk_perception/src/linemod.cpp:69:57:
error: ‘linemod’ is not a member of ‘cv’
/home/elod/catkin_ws/src/vision/jsk_recognition-master/jsk_perception/src/linemod.cpp:69:78:
error: template argument 1 is invalid std::vector<CvPoint>
maskFromTemplate(const std::vector<cv::linemod::Template>& templates,
^
/home/elod/catkin_ws/src/vision/jsk_recognition-master/jsk_perception/src/linemod.cpp:69:78:
error: template argument 2 is invalid
/home/elod/catkin_ws/src/vision/jsk_recognition-master/jsk_perception/src/linemod.cpp:69:57:
error: ‘linemod’ is not a member of ‘cv’ std::vector<CvPoint>
maskFromTemplate(const std::vector<cv::linemod::Template>& templates,
the problem seams to be with the linemod class, which in the online opencv documentation exist but in my case the compiler does not recognise it. The linemod.h header file can't be find in any opencv folder only in:
./home/elod/catkin_ws/src/vision/jsk_recognition-master/jsk_pcl_ros/include/jsk_pcl_ros/linemod.h
./opt/ros/indigo/include/jsk_pcl_ros/linemod.h
./usr/include/pcl-1.7/pcl/recognition/linemod.h
Is this module missing somhow my OpenCV installation or why cant find it in the cv namespace?
In my old Opencv 2.4.11 (uninstalled) seams to be included this module, but I migrated all my stuff to 3.0.0.
Any ideas how to solve it?
UPDATE
A very important observation is that the above mentioned pkg is for Opencv2.4 and I'm using 3.0! Some stuff was moved or removed from the new version like cvSnakeImage, which also appears in this pkg.
An other question would be: how to replace the cvSnakeImage or with what can be replaced?
Did you build from scratch (clean build directory) ?
You could try adding cv:: namespace into *.hpp
-<linemod::Match>
+<cv::linemod::Match>
And/or try adding "#include <opencv2/rgbd/linemod.hpp>" into the same file.
I am trying to run a sample project, but I am getting this error on the console and the app does not run.
I don't understand what this error means.
Packaging project ScheduleAir
C:\Eclipse\plugins\net.rim.ejde.componentpack4.5.0_4.5.0.28\components\bin\rapc.exe -quiet codename=deliverables\Standard\4.5.0\scheduleair deliverables\Standard\4.5.0\scheduleair.rapc -sourceroot=C:\Documents and Settings\20041\workspace\ScheduleAir\src\com\intellisoft\schedule_air;C:\Documents and Settings\20041\workspace\ScheduleAir\src;C:\Documents and Settings\20041\workspace\ScheduleAir\res -import=C:\Eclipse\plugins\net.rim.ejde.componentpack4.5.0_4.5.0.28\components\lib\net_rim_api.jar C:\Documents and Settings\20041\workspace\ScheduleAir\bin
Error preverifying class com.intellisoft.schedule_air.AppSettingScreen
VERIFIER ERROR com/intellisoft/schedule_air/AppSettingScreen.()V:
Illegal type in constant pool
Error!: Error: preverifier failed: C:\Eclipse\plugins\net.rim.ejde.componentpack4.5.0_4.5.0.28\components\bin\preverify.exe -d C:\DOCUME ...
Packaging project ScheduleAir failed (took 0.437 seconds)
Could it be related to compiler target level in your Eclipse? For BB it should be set to 1.3, while by default Eclipse sets it to 1.5/1.6. Check "More detail on preverification errors ?" for details.
You must set JAVA_HOME in your system environment variables