Install and run frama-C in Windows 7 - frama-c

I have tried to run the Frama-C on windows 7, but it didn't work.
I have read all the tips and comments you wrote here, but still not working.
Can someone explain the installation process is a clear and simple way, and I will grateful?

The easiest install for Windows 7 is to use the Windows binary installer for the Boron release (http://frama-c.com/download/frama-c-Boron-20100401.exe). If you do install this version, you will still need to install the gcc-preprocessor in order for frama-c to build your source code.
Newer releases (i.e., Sodium) require you to build from the source code distribution, which means you will need to install several prerequisites as listed in the install instructions:
GNU make version >= 3.81
Objective Caml >= 3.12.1 (except 4.02.0);
a C compiler with standard C and POSIX headers and libraries
The Frama-C GUI also requires:
Gtk (>= 2.4)
GtkSourceView 2.x
GnomeCanvas 2.x
LablGtk >= 2.14.0 (and >= 2.18.2 if you use OCaml >= 4.02.1)
If you need to build from source, please comment and I will give you the steps to complete that.

fdopen's OCaml for Windows allows installing OPAM with a special repository.
Once you have it, installing Frama-C requires only a few steps:
# install depext, for external dependencies
opam install depext
# help Cygwin installing dependencies
opam install depext-cygwinports
# install Frama-C dependencies
opam depext frama-c
# install Frama-C itself
opam install frama-c
Frama-C on Windows installation instructions are periodically updated on Frama-C's wiki.

Related

Offline r-base installation on SLES12.3

We need to install R-base version 3.5+ on an offline machine running SLES12.3
We have downloaded all the packages from the the SUSE r repo
http://download.opensuse.org/repositories/devel:/languages:/R:/released/openSUSE_12.3/x86_64/
while running zypper install on the packages there are additional dependencies that we are not able to find the relevant packages to download.
These include:
libtcl8.5.so()(64bit)
libgomp.so.l()(64bit)
But we are not able to find the dependency package that include these libraries.
What should be the correct approach for installing these libraries offline? where can we find these libraries?
Is there a better way for offline installing R-base ? we tried to follow the instructions on the cran rstudio page
The files you downloaded don't match the distribution you're running. SUSE Linux Enterprise (SLE) and openSUSE are similar in some ways, but these are really two separate distributions and you can not always mix binaries between the two. To install R on SLE Server 12.3, you should use the repository https://download.opensuse.org/repositories/devel:/languages:/R:/released/SLE_12/.
You can find out these URLs by looking at the right hand-side column at https://build.opensuse.org/project/show/devel:languages:R:released. Look for things called "SLE" there.
Install the Development Tools, according to this answer
zypper install --type pattern Basis-Devel
Download R source and install it
wget http://cran.univ-paris1.fr/src/base/R-3/R-3.5.0.tar.gz
tar zxf R-3.5.0.tar.gz
cd R-3.5.0
./configure --enable-R-shlib
make
make check
make install
Maybe there are still dependencies missing, which need to be installed with zypper (I don't have any Suse to try myself). With this method you have an "empty" R and you will install R packages one by one (with R CMD INSTALL). Maybe not the best answer for your need, but an answer.

Upgrade R version 2.15.1 to 3.3 on Debian server (linux-gnu)

I'm in internship and I'm working on a Debian server
for my R's scripts.
However, the version installed on the server is really outdated (2.15.1)
and I think, it might be the reason of some errors I have with my scripts
(which work on my windows PC with R 3.3).
But I am totally a beginner with Linux and I'm stuck.
I know there is a tutorial (https://cran.r-project.org/bin/linux/debian/)
but it's a very specific vocabulary I don't understand completely + my inexperience with Linux servers make it hard to understand exactly what I have to do.
Is it possible to have more explanations on how to install R 3.3 on Debian
server ?
Here are the details from sessionInfo() of the server :
R version 2.15.1 (2012-06-22)
Platform : i486-pc-linux-gnu (32 bit)
I would suggest that you install the '-dev' version of base R
sudo apt-get install r-base r-base-dev
and then as a regular user use R's install.packages() to install additional packages. This will result in an installation where R and it's base packages are accessible to all but owned by root (and therefore difficult for a regular user to update / mess up) and other packages belong to the regular user (and hence easy to update).
Some packages may have system dependencies, e.g., XML requires the libxml2 and libcurl libraries. The '-dev' version of these libraries also need to be installed, most easily via apt-get
sudo apt-get install libxml2-dev libcurl4-openssl-dev
It may be that your version of apt knows nothing about r-base / r-base-dev. You should then follow the section 'Installing R-devel or a release branch from svn' in the document you mention; skip over the instructions in the 'R-devel' section, and instead follow 'r-patched'.

RStudio installation failure under Debian sid: libgstreamer dependency problems

I use Debian sid (amd64), rolling updates as often as weekly. I downloaded recently the desktop version 0.99.902 of RStudio from their offical site and issued (as root, of course):
dpkg -i rstudio-0.99.902-amd64.deb
to no avail:
dpkg: dependency problems prevent configuration of rstudio:
rstudio depends on libgstreamer0.10-0; however:
Package libgstreamer0.10-0 is not installed.
rstudio depends on libgstreamer-plugins-base0.10-0; however:
Package libgstreamer-plugins-base0.10-0 is not installed.
Newer versions (1.0-0) of these 2 packages are installed on the system, but those older ones (0.10-0) are not available anymore on the official Debian repos.
What should be done to have RStudio installed and fully operational under
Debian sid? I have, of course, installed R debs, from official Debian
repositories, without any issues...
Thanks for any help!
RStudio 1.0.153, released on July 20th 2017, depends on GStreamer 1.0 instead of GStreamer 0.10. It can be installed on modern Debian/Ubuntu without any additional setup, rendering this question and my answer obsolete.
To be more specific, there are two different DEB packages. One is aimed at Ubuntu 16.04 (or later) and Debian 9 (or later), comes only in 64-bit flavor and depends on newer GStreamer 1.0. Another package supports Ubuntu from 12.04 up to 15.10 and Debian 8 and it comes in both 32-bit and 64-bit flavors. This one still depends on older GStreamer 0.10.
Original answer remains below.
As of mid-2016, RStudio has hard dependency on GStreamer 0.10 and there is no way around it. You have to install libgstreamer0.10-0 and libgstreamer-plugins-base0.10-0 to use RStudio.
These packages can be easily pulled in from Debian Jessie (stable). Just add Jessie repository to your sources.list and use apt-pinning to give it lower priority:
# /etc/apt/sources.list:
deb http://httpredir.debian.org/debian jessie main
# /etc/apt/preferences.d/01_release:
Package: *
Pin: release o=Debian,a=unstable
Pin-Priority: 600
Package: *
Pin: release o=Debian,n=jessie
Pin-Priority: 10
Then issue apt-get update and follow up with apt-get install libgstreamer0.10-0 libgstreamer-plugins-base0.10-0.
If you have happened to put RStudio .deb file into local repository, then use apt-get install rstudio and GStreamer0.10 will be pulled in by dependency resolver. This has additional advantage of marking these libraries as automatically installed - they will be subject to automatic removal once RStudio drop them as dependency.
But will that break my system?
No.
Upstream developers designed GStreamer0.10 and GStreamer1.0 as co-installable and able to run at the same time (source). In fact, both were available in Debian repository since September 2012 up to April 2016.
In this pinning setup, packages from Jessie repository will be pulled in only when Jessie is the only provider of requested package. There is no risk of overwriting any package from unstable with older version from stable.
Why does RStudio depend on obsolete library?
Because GStreamer0.10 is the newest version available in both Debian Jessie and Ubuntu 12.04, two distributions they want to support.
RStudio will eventually have to upgrade their dependency to GStreamer1.0, as it will gradually become the only version available. I guess this change may be introduced in spring 2017. First, support for Ubuntu 12.04 will end in April. Rstudio is likely to bump base system requirement to 14.04 - one that has both GStreamer0.10 and 1.0. Second, Debian Stretch - that will have only GStreamer1.0 available - is expected to be released around that time.
I found Miroslaw's answer to be excellent. But, due to the passage of time you will need one more package: libssl1.0.0, so your setup apt-get will look like
apt-get install libgstreamer0.10-0 libgstreamer-plugins-base0.10-0 libssl1.0.0
Download libgstreamer0.10-0 for your machine from any of the mirrors.
Open terminal in the directory where the file is downloaded.
Install it using the command, sudo dpkg -i file.deb. Example sudo dpkg -i libgstreamer0.10-0_0.10.36-1ubuntu1_amd64.deb.
Now open the directory where rstudio.deb is located and install it in the same way.
Download the libraries
http://ftp.br.debian.org/debian/pool/main/g/gstreamer0.10/libgstreamer0.10-0_0.10.36-1.5_amd64.deb
http://ftp.br.debian.org/debian/pool/main/g/gst-plugins-base0.10/libgstreamer-plugins-base0.10-0_0.10.36-2_amd64.deb
Install them with gdebi or dpkg -i and that is it

Unable to locate package libqt5webkit5-dev

Suddenly today, without us changing any configuration, all test containers began to fail because of the following error:
$ sudo -E apt-get -yq --no-install-suggests --no-install-recommends --force-yes install libqt5webkit5-dev qtdeclarative5-dev
Reading package lists...
Building dependency tree...
Reading state information...
E: Unable to locate package libqt5webkit5-dev
E: Unable to locate package qtdeclarative5-dev
We have the following configuration in our .travis.yml in order to use QT5 on Travis with Ubuntu 12.04:
apt:
sources:
- ubuntu-sdk-team
packages:
- libqt5webkit5-dev
- qtdeclarative5-dev
We've tried to fix this but are baffled. Any ideas? Anyone else experiencing this?
We had the same problem and after contacting Travis support I learned that apparently the ubuntu-sdk-team has stopped providing packages for Precise and you need to switch dist to Trusty. In order to get the builds working again add this to your .travis.yml file
sudo: required
dist: trusty
You can read more about it here
Ubuntu 12.04 will be deprecated in less than a year from now (exactly at 2017-04-26), and also Qt Webkit is deprecated with the new versions of Qt starting from Qt 5.5. It is removed in Qt 5.6 from the Qt distribution:
With 5.6, Qt WebKit and Qt Quick 1 will no longer be supported and are
dropped from the release. The source code for these modules will still
be available. You can continue to compile and use these modules, but
we will not be supporting them any longer.
http://blog.qt.io/blog/2016/03/16/qt-5-6-released/
So, you in order to maintain the stability of your development environment, either you have to stay with the current versions of Ubuntu and Qt (which has its own issues), or you have to port your code to work with the newer versions of Ubuntu and Qt, like Qt 5.5 on Ubuntu 16.04 LTS.

compiling programs in scientific linux (pcre)

I'm currently trying to install gtk3 on scientific linux (It is not available on official repositories)
I'm well used to yum, apt, pacman etc but i'm a little lost here when it's about compiling ...
to install gtk3, i need glib, to install glib, i need pcre 8.32.
I thus downloaded the tarball from their site.
Once 'untarred', i followed what is written on that link :
http://www.linuxfromscratch.org/blfs/view/svn/general/pcre.html
but once i've made './configure' with its options, 'make', and then 'make install' glib doesn't configure any better... it says my version is still the old version
configure: error: Package requirements (libpcre >= 8.13) were not met:
Requested 'libpcre >= 8.13' but version of libpcre is 7.8
The files seems to be well compiled but not 'moved correctly to the right place' ...
Did i miss something ?
By the way moving to another distro is not an option :P

Resources