pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[ocaml] switch to 4.07.1

Browse Source 
Summary: About time.

Reviewed By: ngorogiannis

Differential Revision: D13168751

fbshipit-source-id: 9b095a587
master
Jules Villard 6 years ago committed by Facebook Github Bot
parent c00b076a05
commit 8849458521
4 changed files with 30 additions and 29 deletions
Show Stats Download Patch File Download Diff File

2
build-infer.sh
Unescape View File

@ -15,7 +15,7 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
INFER_ROOT="$SCRIPT_DIR"
PLATFORM="$(uname)"
NCPU="$(getconf _NPROCESSORS_ONLN 2>/dev/null || echo 1)"
INFER_OPAM_DEFAULT_SWITCH="ocaml-variants.4.06.1+flambda"
INFER_OPAM_DEFAULT_SWITCH="ocaml-variants.4.07.1+flambda"
INFER_OPAM_SWITCH=${INFER_OPAM_SWITCH:-$INFER_OPAM_DEFAULT_SWITCH}
function usage() {

8
configure.ac
Unescape View File

@ -185,11 +185,11 @@ AC_PROG_OCAMLLEX
AC_ASSERT_PROG([ocamllex], [$OCAMLLEX])
AC_CHECK_TOOL([MENHIR], [menhir], [no])
AC_ASSERT_PROG([menhir], [$MENHIR])
AC_ASSERT_OCAML_PKG([atdgen], [], [])
AC_ASSERT_OCAML_PKG([atdgen])
AC_ASSERT_OCAML_PKG([biniou])
AC_ASSERT_OCAML_PKG([camlzip], [zip])
AC_ASSERT_OCAML_PKG([easy-format])
AC_ASSERT_OCAML_PKG([oUnit], [], [2.0.5])
AC_ASSERT_OCAML_PKG([oUnit])
AC_CHECK_TOOL([UTOP], [utop], [no])
AC_ASSERT_OCAML_PKG([yojson])
@ -226,8 +226,8 @@ if test "x$enable_java_analyzers" = "xyes"; then
AC_CHECK_TOOL([JAVAC], [javac], [no])
AC_ASSERT_PROG([javac], [$JAVAC])
AC_ASSERT_PROG([java], [$JAVA])
AC_ASSERT_OCAML_PKG([javalib], [], [2.3.3])
AC_ASSERT_OCAML_PKG([sawja], [], [1.5.2])
AC_ASSERT_OCAML_PKG([javalib])
AC_ASSERT_OCAML_PKG([sawja])
AC_MSG_CHECKING([for JAVA_HOME])
cat - <<_ACEOF >conftest.java

2
opam
Unescape View File

@ -38,7 +38,7 @@ depends: [
"ocaml" {>="4.06.0"}
"ocamlfind" {build}
"ocamlgraph"
"ounit" {="2.0.5"}
"ounit" {>="2.0.5"}
"parmap" {>="1.0-rc8"}
"ppx_deriving" {>="4.1"}
"sawja" {>="1.5.4"}

47
opam.locked
Unescape View File

@ -19,12 +19,12 @@ install: [
[make "install"]
]
depends: [
"ANSITerminal" {= "0.8"}
"ANSITerminal" {= "0.8.1"}
"apron" {= "20160125"}
"atd" {= "2.0.0"}
"atdgen" {= "2.0.0"}
"atdgen-runtime" {= "2.0.0"}
"base" {= "v0.11.0"}
"base" {= "v0.11.1"}
"base-bytes" {= "base"}
"base-threads" {= "base"}
"base-unix" {= "base"}
@ -32,7 +32,7 @@ depends: [
"bin_prot" {= "v0.11.0"}
"biniou" {= "1.2.0"}
"camlidl" {= "1.05"}
"camlp4" {= "4.06+1"}
"camlp4" {= "4.07+1"}
"camlzip" {= "1.07"}
"camomile" {= "1.0.1"}
"cmdliner" {= "1.0.2"}
@ -41,17 +41,17 @@ depends: [
"conf-m4" {= "1"}
"conf-mpfr" {= "1"}
"conf-perl" {= "1"}
"conf-pkg-config" {= "1.0"}
"conf-pkg-config" {= "1.1"}
"conf-sqlite3" {= "1"}
"conf-which" {= "1"}
"conf-zlib" {= "1"}
"configurator" {= "v0.11.0"}
"core" {= "v0.11.2"}
"core" {= "v0.11.3"}
"core_kernel" {= "v0.11.1"}
"cppo" {= "1.6.4"}
"cppo" {= "1.6.5"}
"cppo_ocamlbuild" {= "1.6.0"}
"ctypes" {= "0.14.0"}
"dune" {= "1.1.1"}
"dune" {= "1.5.1"}
"easy-format" {= "1.3.1"}
"elina" {= "1.1"}
"extlib" {= "1.7.5"}
@ -60,33 +60,34 @@ depends: [
"jane-street-headers" {= "v0.11.0"}
"javalib" {= "2.3.5"}
"jbuilder" {= "transition"}
"menhir" {= "20180703"}
"menhir" {= "20181113"}
"mlgmpidl" {= "1.2.7"}
"mtime" {= "1.1.0"}
"num" {= "1.1"}
"ocaml" {= "4.06.1"}
"ocaml" {= "4.07.1"}
"ocaml-compiler-libs" {= "v0.11.0"}
"ocaml-migrate-parsetree" {= "1.0.11"}
"ocaml-config" {= "1"}
"ocaml-migrate-parsetree" {= "1.1.0"}
"ocamlbuild" {= "0.12.0"}
"ocamlfind" {= "1.8.0"}
"ocamlgraph" {= "1.8.8"}
"octavius" {= "1.2.0"}
"ounit" {= "2.0.5"}
"ounit" {= "2.0.8"}
"parmap" {= "1.0-rc10"}
"parsexp" {= "v0.11.0"}
"ppx_assert" {= "v0.11.0"}
"ppx_base" {= "v0.11.0"}
"ppx_bench" {= "v0.11.0"}
"ppx_bin_prot" {= "v0.11.0"}
"ppx_compare" {= "v0.11.0"}
"ppx_bin_prot" {= "v0.11.1"}
"ppx_compare" {= "v0.11.1"}
"ppx_custom_printf" {= "v0.11.0"}
"ppx_derivers" {= "1.0"}
"ppx_deriving" {= "4.2.1"}
"ppx_enumerate" {= "v0.11.0"}
"ppx_expect" {= "v0.11.0"}
"ppx_enumerate" {= "v0.11.1"}
"ppx_expect" {= "v0.11.1"}
"ppx_fail" {= "v0.11.0"}
"ppx_fields_conv" {= "v0.11.0"}
"ppx_hash" {= "v0.11.0"}
"ppx_hash" {= "v0.11.1"}
"ppx_here" {= "v0.11.0"}
"ppx_inline_test" {= "v0.11.0"}
"ppx_jane" {= "v0.11.0"}
@ -95,24 +96,24 @@ depends: [
"ppx_optcomp" {= "v0.11.0"}
"ppx_optional" {= "v0.11.0"}
"ppx_pipebang" {= "v0.11.0"}
"ppx_sexp_conv" {= "v0.11.1"}
"ppx_sexp_conv" {= "v0.11.2"}
"ppx_sexp_message" {= "v0.11.0"}
"ppx_sexp_value" {= "v0.11.0"}
"ppx_tools" {= "5.1+4.06.0"}
"ppx_typerep_conv" {= "v0.11.0"}
"ppx_variants_conv" {= "v0.11.0"}
"ppxlib" {= "0.2.1"}
"ppx_typerep_conv" {= "v0.11.1"}
"ppx_variants_conv" {= "v0.11.1"}
"ppxlib" {= "0.3.1"}
"re" {= "1.8.0"}
"result" {= "1.3"}
"sawja" {= "1.5.4"}
"seq" {= "0.1"}
"seq" {= "base"}
"sexplib" {= "v0.11.0"}
"sexplib0" {= "v0.11.0"}
"spawn" {= "v0.12.0"}
"splittable_random" {= "v0.11.0"}
"sqlite3" {= "4.4.0"}
"sqlite3" {= "4.4.1"}
"stdio" {= "v0.11.0"}
"topkg" {= "0.9.1"}
"topkg" {= "1.0.0"}
"typerep" {= "v0.11.0"}
"variantslib" {= "v0.11.0"}
"xmlm" {= "1.3.0"}

Write Preview
Loading…
Cancel
Save