Skip to content

Commit 89ea8bc

Browse files
artempyanykhfacebook-github-bot
authored andcommitted
[infra] Update dune to 1.10.0
Summary: Dune is updated from 1.6.3 to 1.10.0. One thing to keep in mind is that dune 1.7.0 changed the compilation layout compared to 1.6.3 (see ocaml/dune#1676). Reviewed By: ngorogiannis Differential Revision: D16121954 fbshipit-source-id: 8ceb8429f
1 parent 39dce88 commit 89ea8bc

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

opam.locked

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ depends: [
5353
"cppo" {= "1.6.5"}
5454
"cppo_ocamlbuild" {= "1.6.0"}
5555
"ctypes" {= "0.14.0"}
56-
"dune" {= "1.6.3"}
56+
"dune" {= "1.10.0"}
5757
"easy-format" {= "1.3.1"}
5858
"elina" {= "1.1"}
5959
"extlib" {= "1.7.5"}

scripts/infer_repl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
66

77
# where to find toplevel.bc, can be overridden
88
BUILD_DIR=${BUILD_DIR:-"$SCRIPT_DIR"/../infer/src/_build/default}
9-
INCLUDE_FLAGS=$(find "$BUILD_DIR" -type d -name '*.objs' -exec printf -- '-I {}\n' \;)
9+
INCLUDE_FLAGS=$(find "$BUILD_DIR" -type d -name '*.objs' -exec printf -- '-I {}/byte\n' \;)
1010

1111
# The -init option is effective only in interactive mode.
1212
# In batch mode, scripts need to import toplevel_init themselves.

0 commit comments

Comments
 (0)