I followed the instructions on http://frama-c.com/install-21.1-Scandium.html#installing-frama-c-on-windows-via-wsl completely to install Frama-C (21.1) using opam.
I want to use the GUI for Frama-C but when I tried executing the command frama-c-gui, I get the following message:
Command 'frama-c-gui' not found, but can be installed with: sudo apt
install frama-c
I checked the folder location where the binaries of frama-c are located but there was no sub-folder called frama-c-gui there too.
I made sure to use depext to install the relevant dependencies so I'm not sure why frama-c-gui wasn't installed.
Can anyone help?
The Frama-C opam package for Scandium 21.1 had a constraint that was too strong: it didn't detect that conf-gtksourceview3 was installed, looking instead for conf-gtksourceview, and ended up disabling the GUI. A patch has been submitted to opam and after it is accepted, running opam update and then opam reinstall frama-c should get the GUI enabled.
Otherwise, as a quick workaround, you can run opam install conf-gtksourceview, to install the lablgtk2 version. It is not actually necessary for the Frama-C GUI if you already have the gtk3 version, but it will fool the opam rules so that the gui will not be disabled.
Related
I followed every steps of installation manual while installing it. according to the manual, I need to type ./configure. Whenever I typed it, the problem occurred. Showing the exact line"Could not find all of moc, rcc, and uic for Qt5 -- nope, nope, nope"
Before running ./configure you must always source setenv and make sure that all required packages (i.e. qt-default) is installed.
You can try to install Qt5 to solve the problem
sudo apt-get install qt5-default qtcreator
I am running Ubuntu 18.04 and I cant seem to get qgis to run anymore. The error I get is:
/usr/bin/qgis.bin: relocation error: /usr/lib/x86_64-linux-gnu/libQt5QuickWidgets.so.5: symbol _ZN15QQmlMemoryScope5stateE version Qt_5_PRIVATE_API not defined in file libQt5Qml.so.5 with link time reference
my qmake version is:
QMake version 3.1
Using Qt version 5.9.5 in /usr/lib/x86_64-linux-gnu
I have tried to link to qt5 but that did not change anything.
sudo ln -snf ../../../../share/qtchooser/qt5-x86_64-linux-gnu.conf default.conf
You need to uninstall QGIS and reinstall with the latest stable release. Using sudo apt-get install qgis* python3-qgis* to install is not precisely the best method because of the wildcard. The official instructions suggest using: sudo apt install qgis qgis-plugin-grass.
The instructions for best installation procedure on Ubuntu for LTS releases is posted here.
Trying to install Frama-C with the recommended opam method gives the following error:
### stdout ###
# Cleaning Installation directory
# Installing WP shared files
### stderr ###
# /bin/sh: 1: src/plugins/wp/share/instwp: not found
# make: *** [src/plugins/wp/Makefile:355: install] Error 127
here are the commands used:
# install opam
$ wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
# configure opam
$ eval `opam config env`
$ opam config setup -a
# install frama-c
$ opam install frama-c-base
Edit: here is the output of opam install -v frama-c-base: https://pastebin.com/eMH08ugA
Edit2: the system in question is running Linux Mint 17.3 (Ubuntu 14.04 LTS upstream); the Ubuntu package in the software repository is Make 3.81 (untested) although this had already been upgraded to Make 4.2 when this bug was encountered
I was able to reproduce the issue, and the culprit seems to be Make 4.2, due to this bug in particular:
bug #44742: Double-dep with double-colon rule not built [in parallel builds]
Several rules in Frama-C makefiles use double-colon, and by default the -j%{jobs}% is set in the opam Frama-C file to speed up the compilation.
Unfortunately, it seems that the combination of these two results in the instwp file (among others) not being built, despite its rule being present in the WP makefile, when using that specific version of Make.
I am using Make 4.2.1 by default and I do not have that issue (all files are produced as expected and make install succeeds). If I manually compile Frama-C without -j, I also do not have the issue.
If you are unable to update your version of Make, you could try using opam install -j 1 frama-c, which should override the jobs variable and disable parallel compilation of Frama-C, thus avoiding the error.
Still, my general recommendations would be:
Install a newer OCaml (4.02.3 at least, it should be compatible will almost every package available in OCaml 4.02.1) to ensure the most recent release of Frama-C will be available (Frama-C Silicon is not available in OCaml 4.02.1);
If you can, install frama-c itself, and not frama-c-base, since the only difference are the required packages, namely those for the GUI. You may want to do the following before running opam install frama-c:
opam install depext
opam depext frama-c
The first line will install depext, which is able to find external dependencies for your distribution, and the second line will apply depext to Frama-C, thus prompting you to install external dependencies available in your distribution.
I installed qt5-default on my Odroid XU3 using the the sudo apt-get install qt5-default command and wanted to run qmake-qt5 using the terminal but it printed that this command is unknown. Then I looked in the usr/share/qt5 folder and noticed that there is only the doc-foder inside. I also looked in the usr/bin folder and could only find qmake-qt4 but no qmake-qt5. When I run the install command, I also read that some libraries will be installed, so I think, libraries are not the problem.
Next I tried to install qmake-q5t manually from this page https://launchpad.net/ubuntu/trusty/+package/qt5-qmake but then I got a message that there is a newer version of qmake-qt5 already installed. I searched the whole system using the find command for qmake-qt5 but couldn't detect it.
Last I also tried to add the ubuntu-sdk ppa using as described here https://askubuntu.com/questions/279421/how-can-i-install-qt-5-x-on-12-04-lts but this also didn't work out.
Does it have something to do with my Odroid or with Lubuntu? Is there any other way to install qmake-qt5?
I tried to compile and make with the already installed qt4 and this did work out using
qmake-qt4 -project
qmake-qt4
make
./helloworld
I want do the same but only with qt5
Thanks in advance
The qmake executable is installed in /usr/lib/<your_arch>/qt5/bin as qmake (no -qt5 suffix).
You can check with qmake --version, it should report you a Qt version 5.x.x
When I run make (after running qmake) I get the following error:
/usr/bin/ld: cannot find -lQtGui
/usr/bin/ld: cannot find -lQtCore
In synaptic it shows that I have installed libqtcore4 and libqtgui4.
There is no such directory as /usr/bin/ld.
Basically, I've installed the QtSDK, and QtCreator seems to work fine in that it can build the hello world program. But I want to be able to work from the CLI and run make. I suspect that I may need to redirect the make program to look elsewhere for QtGui and QtCore. If so, how do I find out where those libraries are? I'm running Ubuntu 12.04 and I've followed the advice of this page http://www.qtforum.org/article/28081/installing-qt-4-5-2-on-linux.html down to the last section where it talks about libraries. Any suggestions?
Install Qt using apt-get
sudo apt-get install libqt4-core libqt4-gui
or if you want everything
sudo apt-get install libqt4-*
The advice at http://www.qtforum.org/article/28081/installing-qt-4-5-2-on-linux.html is outdated and useless in your case since you have a recent version of Ubuntu. It leads to having two different versions of Qt side by side, which is technically possible but hard to manage.
You should install the qtcreator Ubuntu package and just delete the /opt/qtsdk... directory and undo the modifications suggested by the outdated instructions. It is essential that your PATH is not tweaked so that it's the Ubuntu version of qmake that is found when called from the command line.
If you still have compilation problems after that, they're likely to be solved by installing more packages, such as libqt4-dev or others Qt-related packages.
Also, /usr/bin/ld is not a directory, it's the linker program.