Dynamic linking error when using ppx_compare - frama-c

In my own Frama-C plugin, I would like to use ppx_compare for generation of compare functions. After adding the following line to my plugin's Makefile:
PLUGIN_REQUIRES = ppx_compare
the plugin is successfully compiled and installed, but running frama-c fails with the following error message:
[kernel] User Error: cannot load plug-in 'base': cannot load module
Details: The module `Base' is already loaded (either by the main program or a previously-dynlinked library)
[kernel] User Error: cannot load plug-in 'ppx_compare.runtime-lib': cannot load module
Details: interface mismatch on Base
[kernel] User Error: Deferred error message was emitted during execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
This seems to be a conflict of Frama-C's Base module and Jane Street's Base library. Is there any workaround for this problem?

Related

Deploy Qt Design Studio Project for Webassembly

I am using Qt 6.3.2 and im on a M1 Mac.
I am trying to build a Qt Design Studio Project for webassembly but I have trouble to install the Designer Components for Webassembly.
To use a Design Studio Project, you have to install the Designer Components to your Installation, which I did like stated in the documentation:Adding Qt Quick Designer Components to Qt Installations.
This works fine when I build it for Mac but I cant get it to work with WASM. Do I need to build the components in a specific way for em++?
When I use the components like stated in the docs I get the following error message:
em++: warning: unrecognized file type: `/Users/marius/Qt/6.3.2/wasm_32/./qml/QtQuick/Studio/Effects/libquickstudioeffectsplugin.dylib`. Mapping to `-lquickstudioeffectsplugin` and hoping for the best [-Wmap-unrecognized-libraries]
em++: warning: unrecognized file type: `/Users/marius/Qt/6.3.2/wasm_32/./qml/QtQuick/Studio/Application/libquickstudioapplicationplugin.dylib`. Mapping to `-lquickstudioapplicationplugin` and hoping for the best [-Wmap-unrecognized-libraries]
em++: warning: unrecognized file type: `/Users/marius/Qt/6.3.2/wasm_32/./qml/QtQuick/Studio/EventSimulator/libquickstudioeventsimulatorplugin.dylib`. Mapping to `-lquickstudioeventsimulatorplugin` and hoping for the best [-Wmap-unrecognized-libraries]
em++: warning: unrecognized file type: `/Users/marius/Qt/6.3.2/wasm_32/./qml/QtQuick/Studio/EventSystem/libquickstudioeventsystemplugin.dylib`. Mapping to `-lquickstudioeventsystemplugin` and hoping for the best [-Wmap-unrecognized-libraries]
wasm-ld: error: unable to find library -lquickstudioeffectsplugin
wasm-ld: error: unable to find library -lquickstudioapplicationplugin
wasm-ld: error: unable to find library -lquickstudioeventsimulatorplugin
wasm-ld: error: unable to find library -lquickstudioeventsystemplugin
em++: error: '/Users/marius/Documents/Git/emsdk/upstream/bin/wasm-ld #/var/folders/k3/prb53mjs50sf220pb_trz4fc0000gn/T/emscripten_7udnbcap.rsp.utf-8' failed (returned 1)
ninja: build stopped: subcommand failed.
I tried to build the components for other architectures or as a static library.

Authentication issue with R's bigrquery

This post makes it clear that the function bq_auth() should be used to authenticate BigQuery in R. However, I have created a BigQuery-Admin service account, downloaded a service account key, and have passed that key into the bq_auth() function, yet I continue to receive the error:
> bigrquery::bq_auth(path = '/Users/nicholas/Downloads/just_downladed_this_key.json')
trying token_fetch()
trying credentials_service_account()
adding 'userinfo.email' scope
Error: unable to load shared object '/Library/Frameworks/R.framework/Versions/3.5/Resources/library/openssl/libs/openssl.so':
dlopen(/Library/Frameworks/R.framework/Versions/3.5/Resources/library/openssl/libs/openssl.so, 6): Library not loaded: /usr/local/opt/openssl/lib/libssl.1.0.0.dylib
Referenced from: /Library/Frameworks/R.framework/Versions/3.5/Resources/library/openssl/libs/openssl.so
Reason: image not found
trying credentials_app_default()
file exists at ADC path: /Users/nicholas/.config/gcloud
Error: parse error: premature EOF
(right here) ------^
trying credentials_gce()
Error: argument is of length zero
trying credentials_byo_oauth()
Error: inherits(token, "Token2.0") is not TRUE
trying credentials_user_oauth2()
Gargle2.0 initialize
attempt from: bigrquery
adding 'userinfo.email' scope
loading token from the cache
Error: unable to load shared object '/Library/Frameworks/R.framework/Versions/3.5/Resources/library/openssl/libs/openssl.so':
dlopen(/Library/Frameworks/R.framework/Versions/3.5/Resources/library/openssl/libs/openssl.so, 6): Library not loaded: /usr/local/opt/openssl/lib/libssl.1.0.0.dylib
Referenced from: /Library/Frameworks/R.framework/Versions/3.5/Resources/library/openssl/libs/openssl.so
Reason: image not found
It looks like I've got an openssl / libssl issue on my hands...
Reinstalling the openssl library in R, and then rebooting R, did the trick. Running options(gargle_quiet = FALSE) to expose the logs of the error is what really did the trick tho, because it exposed the problem.

RSelenium Error in envRefInferField

I am struggling all day with RSelenium. I have read everything I could find on net about the issue. And after all I am getting some earnings and errors I didn't get in the first place. When I execute checkForServer(), I get the watning:
Warning message:
checkForServer is deprecated.
Users in future can find the function in file.path(find.package("RSelenium"), "example/serverUtils").
The sourcing/starting of a Selenium Server is a users responsiblity.
Options include manually starting a server see vignette("RSelenium-basics", package = "RSelenium")
and running a docker container see vignette("RSelenium-docker", package = "RSelenium")
When I execute startServer(), I get the same warning as above.
In the end, when I run the code remDr <-remoteDriver() and remDr$open(), I get error:
Selenium message: The path to the driver executable must be set by the webdriver.gecko.driver system property; for more information, see https://github.com/mozilla/geckodriver. The latest version can be downloaded from https://github.com/mozilla/geckodriver/releases
Error: Summary: UnknownError
Detail: An unknown server-side error occurred while processing the command.
class: java.lang.IllegalStateException
Further Details: run errorDetails method
I have also tried with chrome, but without succes.

v-play installation - Cant deploy on desktop and device

I’ve just installed v-play but when i compile to desktop i get error :-1: error: cannot find -lGL and exits.
Then if i compile to android it will compile and install but the it never successfully opens the app and it exits on deployment.
These are the warnings i get :
Warnings while parsing QML type information of /home/theguy/V-Play/5.5/android_armv5/qml/QtCanvas3D:
/home/theguy/V-Play/5.5/android_armv5/qml/QtCanvas3D/plugins.qmltypes:1:24: Reading only version 1.1 parts.
/home/theguy/V-Play/5.5/android_armv5/qml/QtCanvas3D/plugins.qmltypes:10:5: Expected only Component and ModuleApi object definitions.
Warnings while parsing QML type information of /home/theguy/V-Play/5.5/gcc_64/qml/QtWebSockets:
/home/theguy/V-Play/5.5/gcc_64/qml/QtWebSockets/plugins.qmltypes:1:24: Reading only version 1.1 parts.
/home/theguy/V-Play/5.5/gcc_64/qml/QtWebSockets/plugins.qmltypes:10:5: Expected only Component and ModuleApi object definitions.
Warnings while parsing QML type information of /home/theguy/V-Play/5.5/gcc_64/qml/QtCanvas3D:
/home/theguy/V-Play/5.5/gcc_64/qml/QtCanvas3D/plugins.qmltypes:1:24: Reading only version 1.1 parts.
/home/theguy/V-Play/5.5/gcc_64/qml/QtCanvas3D/plugins.qmltypes:10:5: Expected only Component and ModuleApi object definitions.
And these are the compile issues I get:
15:03:42: Packaging error: Command “/home/theguy/Android/Sdk/platform-tools/adb -s 9cc172fdedea pull /system/bin/sh: readlink: not found /home/theguy/Desktop/Projects/v-play/ConverseLanguages/build-ConverseLanguages-Android_for_armeabi_GCC_4_9_Qt_5_5_0-Release/app_process” failed.Exit code: 1
15:03:42: Package deploy: Failed to pull “/system/bin/sh: readlink: not found” to “/home/theguy/Desktop/Projects/v-play/ConverseLanguages/build-ConverseLanguages-Android_for_armeabi_GCC_4_9_Qt_5_5_0-Release/app_process”.
15:03:42: Package deploy: Running command “/home/theguy/Android/Sdk/platform-tools/adb -s 9cc172fdedea pull /system/lib/libc.so /home/theguy/Desktop/Projects/v-play/ConverseLanguages/build-ConverseLanguages-Android_for_armeabi_GCC_4_9_Qt_5_5_0-Release/libc.so”.
Error while building/deploying project ConverseLanguages (kit: Android for armeabi (GCC 4.9, Qt 5.5.0))
When executing step “Deploy to Android device”
please see here for a reply: https://v-play.net/developers/forums/t/installation-problem-error-cannot-find-lgl/
Cheers, Chris

Depmod - unresolved symbols in rt73 module

I'm trying to install a linux driver for my wireless network card (D-Link DWL-G510) on my Red Hat Linux 7.1 machine with a 2.4.37.9 kernel. I downloaded the serial monkey driver from the sourceforge site and was able to successfully compile the module. However, whenever I do a "make install", the make script executes a "depmod -a" command which then complains with the message: "Unresolved symbols in /lib/modules/2.4.37.9/extra/rt73.o".
I then executed a "depmod -e" command to show unresolved symbols and it indicates the following information:
request_firmware_Rsmp_38ce5074
release_firmware_Rsmp_33934162
I did a grep on the above information and it showed no source files making reference to it. I searched for it on google and it returned no results. Can anyone help?
I found out the reason - it was missing the firmware_class module. I had to rebuild kernel modules with the experimental feature CONFIG_FW_LOADER as a module which is found under Library routines\Hotplug firmware loading support. After loading the firmware_class module, the rt73 module loaded successfully also.

Resources