pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '39dce8878f'
${ noResults }
infer_clone/opam.locked

132 lines
3.3 KiB
Raw Normal View History Unescape

[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
opam-version: "2.0"
name: "infer"
[opam] Update lock and mini repo Reviewed By: ngorogiannis, jvillard Differential Revision: D15335623 fbshipit-source-id: e5ac7a535
6 years ago
version: "0.16.0"
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
synopsis: "A static analyzer for Java, C, C++, and Objective-C"
maintainer: "the infer team"
authors: "Facebook"
homepage: "https://github.com/facebook/infer"
bug-reports: "https://github.com/facebook/infer/issues"
dev-repo: "git://github.com/facebook/infer.git"
license: "MIT"
build: [
["./autogen.sh"]
["./configure"
"--disable-c-analyzers"
"--prefix=%{prefix}%"]
[infer][PR] Move to base64.3.0.0 Summary: Move codebase to `base64.3.0.0` which is more safe (see [CHANGELOG](https://github.com/mirage/ocaml-base64/releases/tag/v3.0.0). Pull Request resolved: https://github.com/facebook/infer/pull/1056 Reviewed By: mbouaziz Differential Revision: D13986683 Pulled By: jvillard fbshipit-source-id: a89b8cf89
6 years ago
[make "-j" jobs]
[make "-j" jobs "config_tests"] {with-test}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
]
install: [
[make "install"]
]
depends: [
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ANSITerminal" {= "0.8.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"apron" {= "20160125"}
"atd" {= "2.0.0"}
"atdgen" {= "2.0.0"}
"atdgen-runtime" {= "2.0.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"base" {= "v0.11.1"}
[opam] bump opam and javalib versions Summary: Avoid sandboxing issues and mark the incompatibility with javalib 3.0. Also remove workaround for opam bug that has been fixed and that was causing portability issues on osx where `realpath` isn't always available. Reviewed By: ngorogiannis Differential Revision: D13450029 fbshipit-source-id: ea33b06d8
6 years ago
"base-bigarray" {= "base"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"base-bytes" {= "base"}
"base-threads" {= "base"}
"base-unix" {= "base"}
[infer][PR] Move to base64.3.0.0 Summary: Move codebase to `base64.3.0.0` which is more safe (see [CHANGELOG](https://github.com/mirage/ocaml-base64/releases/tag/v3.0.0). Pull Request resolved: https://github.com/facebook/infer/pull/1056 Reviewed By: mbouaziz Differential Revision: D13986683 Pulled By: jvillard fbshipit-source-id: a89b8cf89
6 years ago
"base64" {= "3.1.0"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"bin_prot" {= "v0.11.0"}
"biniou" {= "1.2.0"}
"camlidl" {= "1.05"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"camlp4" {= "4.07+1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"camlzip" {= "1.07"}
"camomile" {= "1.0.1"}
[opam] bump opam and javalib versions Summary: Avoid sandboxing issues and mark the incompatibility with javalib 3.0. Also remove workaround for opam bug that has been fixed and that was causing portability issues on osx where `realpath` isn't always available. Reviewed By: ngorogiannis Differential Revision: D13450029 fbshipit-source-id: ea33b06d8
6 years ago
"cmdliner" {= "1.0.3"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"conf-autoconf" {= "0.1"}
"conf-gmp" {= "1"}
"conf-m4" {= "1"}
"conf-mpfr" {= "1"}
"conf-perl" {= "1"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"conf-pkg-config" {= "1.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"conf-sqlite3" {= "1"}
"conf-which" {= "1"}
"conf-zlib" {= "1"}
"configurator" {= "v0.11.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"core" {= "v0.11.3"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"core_kernel" {= "v0.11.1"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"cppo" {= "1.6.5"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"cppo_ocamlbuild" {= "1.6.0"}
"ctypes" {= "0.14.0"}
Compatibility with javalib 3.0 Summary: javalib 3.0 adds more support for lambdas and instance methods in interfaces. Java constant type has 2 more constructors. We don't handle them when generating SIL (as before) but at least we are compatible with javalib 3.0 Reviewed By: jvillard Differential Revision: D16030479 fbshipit-source-id: 0b1508482
5 years ago
"dune" {= "1.6.3"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"easy-format" {= "1.3.1"}
"elina" {= "1.1"}
"extlib" {= "1.7.5"}
"fieldslib" {= "v0.11.0"}
"integers" {= "0.2.2"}
"jane-street-headers" {= "v0.11.0"}
Compatibility with javalib 3.0 Summary: javalib 3.0 adds more support for lambdas and instance methods in interfaces. Java constant type has 2 more constructors. We don't handle them when generating SIL (as before) but at least we are compatible with javalib 3.0 Reviewed By: jvillard Differential Revision: D16030479 fbshipit-source-id: 0b1508482
5 years ago
"javalib" {= "3.0"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"jbuilder" {= "transition"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"menhir" {= "20181113"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"mlgmpidl" {= "1.2.7"}
"mtime" {= "1.1.0"}
"num" {= "1.1"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ocaml" {= "4.07.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"ocaml-compiler-libs" {= "v0.11.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ocaml-config" {= "1"}
"ocaml-migrate-parsetree" {= "1.1.0"}
[opam] bump opam and javalib versions Summary: Avoid sandboxing issues and mark the incompatibility with javalib 3.0. Also remove workaround for opam bug that has been fixed and that was causing portability issues on osx where `realpath` isn't always available. Reviewed By: ngorogiannis Differential Revision: D13450029 fbshipit-source-id: ea33b06d8
6 years ago
"ocaml-variants" {= "4.07.1+flambda"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"ocamlbuild" {= "0.12.0"}
"ocamlfind" {= "1.8.0"}
"ocamlgraph" {= "1.8.8"}
"octavius" {= "1.2.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ounit" {= "2.0.8"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"parmap" {= "1.0-rc10"}
"parsexp" {= "v0.11.0"}
"ppx_assert" {= "v0.11.0"}
"ppx_base" {= "v0.11.0"}
"ppx_bench" {= "v0.11.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ppx_bin_prot" {= "v0.11.1"}
"ppx_compare" {= "v0.11.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"ppx_custom_printf" {= "v0.11.0"}
"ppx_derivers" {= "1.0"}
"ppx_deriving" {= "4.2.1"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ppx_enumerate" {= "v0.11.1"}
"ppx_expect" {= "v0.11.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"ppx_fail" {= "v0.11.0"}
"ppx_fields_conv" {= "v0.11.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ppx_hash" {= "v0.11.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"ppx_here" {= "v0.11.0"}
"ppx_inline_test" {= "v0.11.0"}
"ppx_jane" {= "v0.11.0"}
"ppx_js_style" {= "v0.11.0"}
"ppx_let" {= "v0.11.0"}
"ppx_optcomp" {= "v0.11.0"}
"ppx_optional" {= "v0.11.0"}
"ppx_pipebang" {= "v0.11.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ppx_sexp_conv" {= "v0.11.2"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"ppx_sexp_message" {= "v0.11.0"}
"ppx_sexp_value" {= "v0.11.0"}
"ppx_tools" {= "5.1+4.06.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"ppx_typerep_conv" {= "v0.11.1"}
"ppx_variants_conv" {= "v0.11.1"}
"ppxlib" {= "0.3.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"re" {= "1.8.0"}
"result" {= "1.3"}
Compatibility with javalib 3.0 Summary: javalib 3.0 adds more support for lambdas and instance methods in interfaces. Java constant type has 2 more constructors. We don't handle them when generating SIL (as before) but at least we are compatible with javalib 3.0 Reviewed By: jvillard Differential Revision: D16030479 fbshipit-source-id: 0b1508482
5 years ago
"sawja" {= "1.5.6"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"seq" {= "base"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"sexplib" {= "v0.11.0"}
"sexplib0" {= "v0.11.0"}
"spawn" {= "v0.12.0"}
"splittable_random" {= "v0.11.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"sqlite3" {= "4.4.1"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"stdio" {= "v0.11.0"}
[ocaml] switch to 4.07.1 Summary: About time. Reviewed By: ngorogiannis Differential Revision: D13168751 fbshipit-source-id: 9b095a587
6 years ago
"topkg" {= "1.0.0"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"typerep" {= "v0.11.0"}
"variantslib" {= "v0.11.0"}
"xmlm" {= "1.3.0"}
[infra] Update yojson and fix deprecations Summary: Update yojson (1.4.1 -> 1.7.0). Yojson.Basic.json is deprecated in favor of Yojson.Basic.t. These deprecations warnings are fixed. Reviewed By: mityal Differential Revision: D15964194 fbshipit-source-id: 1b09fd19f
5 years ago
"yojson" {= "1.7.0"}
[setup] opam 2 Summary: Switches from opam 1 to opam 2. Opam2 has some cool new features that simplify some of the scripting. Notable changes: 1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock. This has a simpler interface for our purposes. 2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance. 3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked. Reviewed By: ngorogiannis Differential Revision: D13167863 fbshipit-source-id: 1a667c270
6 years ago
"zarith" {= "1.7"}
]
depexts: [
[ ["ubuntu"] ["python2.7-dev"] ]
[ ["debian"] ["python2.7-dev"] ]
[ ["ubuntu"] ["default-jdk"] ]
[ ["debian"] ["default-jdk"] ]
]