I am trying to install frama-c in cygwin and get the following errors but I can't interpret them. Can you help me interpreting them or give me a link to where I get the information?
Preparing Wp-Coq Sources
Uncaught exception: Util.UserError("_", _)
Makefile:49: recipe for target `depend' failed
make[1]: *** [depend] Error 2
src/wp/Makefile:285: recipe for target `.make-wpcoqs' failed
make: *** [.make-wpcoqs] Error 2
note that coqc and ocaml are both the latest version
Are you using Coq 8.4 by any chance? I had something very similar happen to me, and my issue was the lack of the option -coqlib <your Coq installation directory> when Coq is not installed in the standard directory in the PATH. There used to be a specific error message in Coq 8.3, but it seems to have disappeared in Coq 8.4.
If you can find the line in the Makefile which runs the coqdep command, and replace it with something like coqdep -coqlib ~/coq84pl1 (replacing ~/coq84pl1 with your Coq installation directory), it could work. But you would also need to add this flag to other Coq-related commands as well (coqc, for instance) or other issues might come up later.
Related
I'm new to Julia and I want to use COBRA Package.
For adding COBRA I use command :
Pkg.add("COBRA")
But when running, I get these errors:
INFO: Building WinRPM
WARNING: skipping repodata/repomd.xml, not in cache -- call WinRPM.update() to download
WARNING: skipping repodata/repomd.xml, not in cache -- call WinRPM.update() to download
INFO: Downloading https://cache.julialang.org/http://download.opensuse.org/repositories/windows:/mingw:/win32/openSUSE_Leap_42.2/repodata/repomd.xml
WARNING: Unknown download failure, error code: 2148270086
WARNING: Retry 1/5 downloading: https://cache.julialang.org/http://download.opensuse.org/repositories/windows:/mingw:/win32/openSUSE_Leap_42.2/repodata/repomd.xml
until:
WARNING: Unknown download failure, error code: 2148270086
WARNING: Retry 5/5 downloading: https://cache.julialang.org/http://download.opensuse.org/repositories/windows:/mingw:/win32/openSUSE_Leap_42.2/repodata/repomd.xml
WARNING: received error 0 while downloading
https://cache.julialang.org/http://download.opensuse.org/repositories/windows:/mingw:/win32/openSUSE_Leap_42.2/repodata/repomd.xml
After these errors, I have checked the link and I've found out the source is not there, anymore.
So then I ran this command as said above:
WinRPM.update()
But it has thrown this error:
ERROR: UndefVarError: WinRPM not defined
Please Help me to add COBRA to Julia. I'm using version 0.6.4 because Cobra does not work on the next versions.(Windows 10)
Any help would be appreciated.
The problem, as you've mentioned, is that the original sources used by the package aren't valid URLs anymore. The proper way to solve this is to open a pull request with the package to change the URLs (which I've now done here ). As a stopgap measure, here's a hacky way to work around this issue for now:
Do a Pkg.add("WinRPM"). This might trigger the same warnings as above, ignore these.
Next, using WinRPM to load the package we added
Now, the source URLs are read from the sources.list file (linked above) into a global WinRPM.sources variable. We're going to edit this variable's contents to point to new working URLs. (This is generally a terrible idea, to directly poke into the internals of a module and change things.)
julia> WinRPM.sources[:] = replace.(WinRPM.sources, "Leap_42.3" => "Leap_15.3")
2-element Vector{String}:
"https://cache.julialang.org/http://download.opensuse.org/repositories/windows:/mingw:/win32/openSUSE_Leap_15.3"
"https://cache.julialang.org/http://download.opensuse.org/repositories/windows:/mingw:/win64/openSUSE_Leap_15.3"
A WinRPM.update() should now work, and download things into a local cache.
I'm using version 0.6.4 because Cobra does not work on the next versions.
I hope you mean Julia 1.6.4 here, or version 0.6.4 of something else in the stack. If you mean Julia version 0.6.4, you might face further problems down the road and find it hard to get support for such an old version.
Is there any good choose to test the openimscore like OpenIC_Lite or x-lite 、uctimsclient, I have tried all of them, but not succeed in installing them on ubuntu16 or windows?
I can't find the OpenIC_Lite package, because of the link
http://www.fokus.fraunhofer.de/testbeds/ims_playground/components/openic_download/OpenIC_Lite.tar.gz
seems not to provide the package
I have got the x-lite exe package in
https://gsf-fl.softonic.com/7eb/91d/07ddf7568b3cda042bc3119ab7b48ce264/X-Lite_4-9-2_79048.exe?Expires=1576275140&Signature=dec4c792593f591b064de103298239f1db513afd&url=https://x-lite.en.softonic.com&Filename=X-Lite_4-9-2_79048.exe
, after I installed the package on win10 and run the x-lite, there is
a notice about "X-Lite Update required".
https://img-blog.csdnimg.cn/20191214182533682.png
And I have tried the uctismclient, I get the package in
https://liquidtelecom.dl.sourceforge.net/project/uctimsclient.berlios/uctimsclient1.0.14.tar.gz,
when I compile,there is a question like follow：
/usr/include/eXosip2/eX_call.h:217:7: note: expected ‘int’ but argument is of type ‘struct osip_message_t *’
src/common_exosip_event_handler.c:270:2: error: too few arguments to function ‘eXosip_call_send_answer’
In file included from /usr/include/eXosip2/eXosip.h:43:0,
from src/includes.h:14,
from src/common_exosip_event_handler.c:23:
/usr/include/eXosip2/eX_call.h:217:7: note: declared here
Makefile:41: recipe for target 'obj/common_exosip_event_handler.o' failed
make: *** [obj/common_exosip_event_handler.o] Error 1
I have been trying to install nachos 4.0 (c++ version), but on running the "make" command, I get the following error:
gcc -E -I../userprog -I../threads start.cc > _/strt.s
mips-xgcc/as -mips2 -o _/start.o /strt.s
make[1]: execvp: mips-xgcc/as: Permission denied
make[1]: * [/start.o] Error 127
make: * [all] Error 2
I also tried giving all the permissions to the mentioned folder (mips-xgcc), but to no avail.
Also I had doubts regarding running user-processes. There is a sample code in the test folder, which performs matrix multiplication. To run this program one needs to convert the binary which is .coff format to .noff format (where .coff is the format of any a.out file in linux). My doubt is that since the example code contains statements which are peculiar to the MIPS architecture (e.g: Exit(C[Dim-1][Dim-1]) in "matmult.c"), how can we first compile the program as normal gcc and then use coff2noff to convert it into ".noff" format.
Is it possible that user-level process doesn't run because of the error mentioned in "1."
Any help would be appreciated.
Thank You
On "./configure" of an open source project I get:
user agent OS = Linux
./configure: line 13957: syntax error near unexpected token 0.9.3'
./configure: line 13957: GOBJECT_INTROSPECTION_CHECK(0.9.3)'
make: *** [config.status] Error 2
Ubuntu 12.04 package "gobject-introspection" and "libgirepository1.0-dev" are present. Removing the GOBJECT_INTROSPECTION_CHECK line allows configure to complete, but the project fails a dependency later.
How can I get past this configure step cleanly? Googling for this issue shows bugs filed against numerous OS projects for this same blocking issue, but the usual answer is "install gobject-introspection".
As the OP discovered on his own he had to install the gobject-introspection package to get the m4 macros that were being used.
The error message has the raw macro in it, as configure scripts are generated from configure.in/configure.ac files via m4/etc the fact that the raw macro is in the output file indicates that the macro did not get translated at generation time.
The gobject-introspection m4 files were apparently installed after autogen.sh (or equivalent) was run to generate the configure script. Re-running the autogen.sh script should regenerate the configure script and run the macro correctly.
I need blitz++ to run a 3rd party library, but I'm not being able to compile it. The ./configure command runs well and sets the Makefile, but when i make it produces the following error:
In file included from ../blitz/array/funcs.h:29:0,
from ../blitz/array/newet.h:29,
from ../blitz/array/et.h:27,
from ../blitz/array-impl.h:2515,
from ../blitz/array.h:32,
from ../src/globals.cpp:13:
../blitz/funcs.h: In static member function 'static blitz::Fn_abs<long int>::T_numtype blitz::Fn_abs<long int>::apply(blitz::Fn_abs<long int>::T_numtype1)':
../blitz/funcs.h:530:14: error: 'labs' is not a member of 'std'
../blitz/funcs.h:530:14: note: suggested alternative:
/usr/include/stdlib.h:772:17: note: 'labs'
make[1]: *** [globals.lo] Error 1
I followed the instructions and I can't figure why is this happening. I'm using Ubuntu 11.10 and blitz 0.9. Also, I tried with both gcc 4.4 and 4.6. Please help a noob on a workaround.
Blitz++ version 0.9 is seriously outdated. You will need to fetch the code in the source repository:
hg clone http://blitz.hg.sourceforge.net:8000/hgroot/blitz/blitz