I recently updated facebook infer on my work laptop, and am trying to update infer on my personal laptop. It installed without an issue on my work laptop, but I am getting an error (see below) on my personal laptop. Both have opam 1.2.2 and ocaml 4.03.0 installed. If I execute opam init --comp=VERSION, I see that everything is already up-to-date. Any ideas why brew install infer could be failing?
[User]-MacBook-Pro:~ [User]$ brew install infer
==> Using the sandbox
==> Downloading https://github.com/facebook/infer/releases/download/v0.9.2/infer
Already downloaded: /Users/[User]/Library/Caches/Homebrew/infer-0.9.2.tar.xz
==> ./build-infer.sh all --yes
Last 15 lines from /Users/[User]/Library/Logs/Homebrew/infer/01.build-infer.sh:
initializing opam...
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg
command on your system.
- you won't be able to use darcs repositories unless you install the darcs
command on your system.
[WARNING] Recommended external solver aspcud not found.
[ERROR] No OCaml compiler found in path. You should use:
opam init --comp=VERSION
[ERROR] Initialisation failed
OpamGlobals.Exit(66)
READ THIS: https://git.io/brew-troubleshooting
If reporting this issue please do so at (not Homebrew/brew):
https://github.com/Homebrew/homebrew-core/issues
These open issues may also help:
infer 0.9.3 https://github.com/Homebrew/homebrew-core/pull/5130
My work laptop is on OS X El Capitan Version 10.11.6, and my personal laptop is on macOS Sierra Version 10.12.
https://github.com/facebook/infer/issues/467
Resolved in Infer version 0.9.4.1
Related
Suddenly when trying to use utop on my macbook, I get the error in the title. I've tried reinstalling with opam and reinstalling with homebrew but I've had no success. I haven't changed anything, this just randomly started happening. Has anyone had this problem?
Edit: I used brew install opam to install opam but I get an error: Warning: git 2.15.1 is already installed
Error: Git must be installed and in your PATH!
This could be a different issue all together but I'm not sure
I'm trying to upgrade my opam to the latest version of Ubuntu 14.04
chris#chris-870Z5E-880Z5E-680Z5E:~$ sudo opam update
default Downloading https://opam.ocaml.org/1.1/urls.txt
Updating ~/.opam/repo/compiler-index ...
Updating ~/.opam/compilers/ ...
Updating ~/.opam/repo/package-index ...
Updating ~/.opam/packages/ ...
The following package has been DELETED:
- camlp4.4.02.0+2
[WARNING] install and dev-repo are unknown fields in /home/chris/.opam/repo/default/packages/liquidsoap/liquidsoap.1.1.1/opam: is your OPAM up-to-date ?
[WARNING] install is an unknown field in /home/chris/.opam/repo/default/packages/ocurl/ocurl.0.7.2/opam: is your OPAM up-to-date ?
Updating the cache of metadata (~/.opam/state.cache) ...
23 to install | 17 to reinstall | 16 to upgrade | 1 to downgrade | 0 to remove
You can now run 'opam upgrade' to upgrade your system.
chris#chris-870Z5E-880Z5E-680Z5E:~$ sudo opam upgrade
[WARNING] External solver failed with inconsistent return value. Request saved to "/home/chris/.opam/log/solver-error-6572-1.cudf"
Falling back to the internal heuristic.
The dependency ocamlbuild of package variantslib.109.15.03 is not available for your compiler or your OS.
'opam upgrade' failed.
As the error message says, it appears that variantslib.109.15.03 is not available on my OS/compiler version. Is there any way I can get around this? Here is my compiler version:
chris#chris-870Z5E-880Z5E-680Z5E:~$ ocaml -version
The OCaml toplevel, version 4.02.0
First of all, don't use sudo as opam is installed in your user folder, so you may actually break it by locking it from yourself. (I think you already did it). In general, don't use sudo if you're not absolutely sure what you're doing.
The solver is unable to find a package variantslib that will fit into constraints of your system. If you're installing or using some package, that you believe should work for the Ubuntu 14.04 LTS, then I would suggest you just to start from a clean state and install it, instead of performing the update. Since you already messed with sudo, I would actually suggest you to remove the ~/.opam folder, and start with
opam init
And install whatever you need from scratch.
If I remember well, I had some issues with opam 1.1 in the past... And the opam FAQ states that you should move to opam 1.2 (because of : ubuntu bugs).... I personally use opam 1.2.2 (on ubuntu 16.04 & 12.04...)
I'm trying to install Janestreet's Core for OCaml using opam on Mac OsX to get started with the "Real world OCaml" book.
I get the following error:
===== ERROR while installing herelib.109.35.02 =====
Could not get the source for herelib.109.35.02:
# opam-version 1.1.1
# os darwin
Cannot download https://opam.ocaml.org/archives/herelib.109.35.02+opam.tar.gz,
please check your connection settings.
All other libraries after herelib fail as well.
I don't have connection problems, though, as the libraries up to herelib do download (last successful is type_conv as far as I can tell). Also, pasting the reported URL in Chrome starts a file download immediately, so it doesn't seem to be a server problem at the source.
Homebrew reports my Opam and Ocaml as up to date.
Any ideas?
Your version numbers for both herelib and opam looks quite outdated. The following may help:
Update your repository with opam update
Try to use more recent opam, it is available under macports and brew.
OS: Ubuntu 14.04
g++: g++ (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4
R version: 3.2.0 (2015-04-16) -- "Full of Ingredients"
Rcpp: 0.11.6
Today I apt-get dist-upgrade my system, and the g++ was also been upgraded.
Then when I am trying to use "Rcpp" package in R, the code is the simplest test code >>evalCpp("1+1") . An error as follows occurred:
Error in frameTypes(env) : not a proper evaluation environment
Calls: ::: ... tryCatch -> tryCatchList -> tryCatchOne -> <Anonymous>
Execution halted
Error in sourceCpp(code = code, env = env, rebuild = rebuild,showOutput = showOutput, :
Error 1 occurred building shared library.
WARNING: The tools required to build C++ code for R were not found.
Please install GNU development tools including a C++ compiler.
I have did google for it. The following links are all about Mac OSX:
Error when with Xcode 5.0 and Rcpp (Command Line Tools ARE installed)
g++ errors when trying to compile c++11 with Rcpp
From the answers and comments, I can not tell what is the real problem.
Appreciate your help!
UPDATE: I finally solved this problem by reinstalling all the R related deb packages. And one thing we should keep in mind is that I also did what #Dirk suggested first apt-get build-dep r-base-dev. I can not confirm which one is the key step.
You need
sudo apt-get build-dep r-base
to install the all the build dependencies for R itself.
But we even built an explicitly helper package r-base-dev so in most cases (and in your use case of Rcpp) you just need
sudo apt-get install r-base-dev
There is something wrong/missing in your system configuration. First of all, I doubt that you are really running Ubuntu 14.04 (after the dist-upgrade) because the the other versions that you listed wouldn't be available (unless you have pulled them in from a non-default repository). You might also consider running a full-upgrade to try to straighten out your configuration.
You might gain some insights by running with showOutput=1...
library(Rcpp)
evalCpp("1+1",showOutput=1,rebuild=1)
...but actually, it looks like the problem is related specifically to a parameter called env (Error in frameTypes(env) : not a proper evaluation environment) which is likely evaluated prior-to attempting to compile.
For what it is worth, I was able to run this without r-base-dev installed, but maybe installing r-base-dev will pull in the correct, and updated, versions of what you need. I would be inclined to just reinstall all R-related packages.
I just installed opam using the quick install
http://opam.ocaml.org/doc/Quick_Install.html
I now have
$opam --version
1.1.0
which is current. I ran "opam update" and "opam upgrade" to get the latest packages. However, when I install packages, it is still giving me the old versions (such as core 109.42 instead of core 109.55):
$ opam search core
Available packages for 4.01.0:
async_core 109.42.00 Monadic concurrency library
What do I need to do to get opam to give me the latest libraries?
If you previously built from source, make sure you uninstall that first. For whatever reason, even though the opam version correctly reports "1.1.0", it was still using the old repo address. After you uninstall old opam entirely, then follow the installation instructions at the link above.
You will know you succeeded when you do "opam update" and prints:
default Downloading http://opam.ocamlpro.com/urls.txt
[NOTE] The repository 'default' will be *permanently* redirected to https://opam.ocaml.org (opam-version >= "1.1.0")