[sledge] Build: Update to ocaml 4.10.0, dune 2.5 and core 0.14

Summary:
It is now possible to not spew dune files all over the repo, and opam
files aren't needed either.

Reviewed By: jvillard

Differential Revision: D21720978

fbshipit-source-id: 553e1d154

sledge/bin/dune

@@ -1,16 +0,0 @@
-; Copyright (c) Facebook, Inc. and its affiliates.
-;
-; This source code is licensed under the MIT license found in the
-; LICENSE file in the root directory of this source tree.
-
-(executable
- (name sledge_cli)
- (public_name sledge)
- (package sledge)
- (libraries apron apron.boxMPQ ctypes ctypes.foreign dune-build-info llvm
-   llvm.irreader llvm.analysis llvm.scalar_opts llvm.target llvm.ipo
-   llvm.linker shexp.process yojson trace import sledge model)
- (flags
-  (:standard -w -58 -open Import -open Sledge -open Model))
- (preprocess
-  (pps ppx_sledge)))

sledge/dune

@@ -18,7 +18,7 @@
   (env-vars
    (PPX_TRACE_ENABLED 1))
   (inline_tests disabled))
- (_
+ (_ ; release, dev, default,...
   (flags
    (-w -a -noassert -unboxed-types))
   (ocamlopt_flags (-O3))
@@ -26,6 +26,71 @@
    (PPX_TRACE_ENABLED 0))
   (inline_tests disabled)))
 
+(library
+ (name ppx_sledge)
+ (kind ppx_rewriter)
+ (libraries ppx_compare ppx_expect ppx_hash ppx_here ppx_inline_test ppx_let
+   ppx_sexp_conv ppx_sexp_value)
+ (preprocess no_preprocessing))
+
+(subdir
+ src/import
+ (library
+  (name import)
+  (public_name sledge.import)
+  (libraries core core_kernel.fheap zarith trace)
+  (flags (:standard))
+  (preprocess
+   (pps ppx_sledge ppx_trace))
+  (inline_tests)))
+
+(subdir
+ src
+ (library
+  (name sledge)
+  (public_name sledge)
+  (libraries import)
+  (flags
+   (:standard -open Import))
+  (preprocess
+   (pps ppx_sledge ppx_trace))
+  (inline_tests)))
+
+(subdir
+ model
+ (rule
+  (targets cxxabi.bc)
+  (deps cxxabi.cpp Makefile llair_intrinsics.h)
+  (action
+   (run make ROOT=../../.. cxxabi.bc)))
+ (rule
+  (targets lib_fuzzer_main.bc)
+  (deps lib_fuzzer_main.c Makefile)
+  (action
+   (run make ROOT=../../.. lib_fuzzer_main.bc)))
+ (rule
+  (targets model.ml)
+  (deps cxxabi.bc lib_fuzzer_main.bc)
+  (action
+   (run ocaml-crunch -m plain -e bc -o model.ml .)))
+ (library
+  (name model)
+  (public_name sledge.model)))
+
+(subdir
+ bin
+ (executable
+  (name sledge_cli)
+  (public_name sledge)
+  (package sledge)
+  (libraries apron apron.boxMPQ ctypes ctypes.foreign dune-build-info llvm
+    llvm.irreader llvm.analysis llvm.scalar_opts llvm.target llvm.ipo
+    llvm.linker shexp.process yojson trace import sledge model)
+  (flags
+   (:standard -w -58 -open Import -open Sledge -open Model))
+  (preprocess
+   (pps ppx_sledge ppx_trace))))
+
 (dirs :standard \ llvm test)
 
 (rule

sledge/dune-project

@@ -1 +1,7 @@
-(lang dune 2.0)
+(lang dune 2.5)
+
+(package
+ (name ppx_trace))
+
+(package
+ (name sledge))

sledge/model/dune

@@ -1,26 +0,0 @@
-; Copyright (c) Facebook, Inc. and its affiliates.
-;
-; This source code is licensed under the MIT license found in the
-; LICENSE file in the root directory of this source tree.
-
-(rule
- (targets cxxabi.bc)
- (deps cxxabi.cpp Makefile llair_intrinsics.h)
- (action
-  (run make ROOT=../../.. cxxabi.bc)))
-
-(rule
- (targets lib_fuzzer_main.bc)
- (deps lib_fuzzer_main.c Makefile)
- (action
-  (run make ROOT=../../.. lib_fuzzer_main.bc)))
-
-(rule
- (targets model.ml)
- (deps cxxabi.bc lib_fuzzer_main.bc)
- (action
-  (run ocaml-crunch -m plain -e bc -o model.ml .)))
-
-(library
- (name model)
- (public_name sledge.model))

sledge/ppx_sledge/dune

@@ -1,14 +0,0 @@
-; Copyright (c) Facebook, Inc. and its affiliates.
-;
-; This source code is licensed under the MIT license found in the
-; LICENSE file in the root directory of this source tree.
-
-(library
- (name ppx_sledge)
- (kind
-  (ppx_rewriter
-   (cookies
-    (ppx_trace_enabled %{env:PPX_TRACE_ENABLED=0}))))
- (libraries ppx_compare ppx_expect ppx_hash ppx_here ppx_inline_test ppx_let
-   ppx_sexp_conv ppx_sexp_value ppx_trace)
- (preprocess no_preprocessing))

sledge/ppx_trace.opam

@@ -1,17 +0,0 @@
-opam-version: "2.0"
-maintainer: "Josh Berdine <jjb@fb.com>"
-authors: "Josh Berdine <jjb@fb.com>"
-homepage: "https://github.com/facebook/infer/tree/master/sledge/ppx_trace"
-bug-reports: "https://github.com/facebook/infer/issues/new?template=sledge_issue_template.md"
-dev-repo: "git://github.com/facebook/infer.git"
-license: "MIT"
-build: [
-  ["dune" "build" "-p" name "-j" jobs]
-]
-depends: [
-  "ocaml"
-  "dune" {>= "2.0.0"}
-  "ppxlib"
-]
-synopsis: "Conditionally compiled debug tracing"
-description: "Conditionally compiled debug tracing"

sledge/ppx_trace/dune

@@ -3,8 +3,17 @@
 ; This source code is licensed under the MIT license found in the
 ; LICENSE file in the root directory of this source tree.
 
+(subdir
+ trace
  (library
- (name ppx_trace)
+  (name trace)
- (kind ppx_rewriter)
+  (public_name ppx_trace.trace)))
+
+(library
+ (public_name ppx_trace)
+ (kind
+  (ppx_rewriter
+   (cookies
+    (ppx_trace_enabled %{env:PPX_TRACE_ENABLED=0}))))
  (preprocess no_preprocessing)
  (libraries ppxlib))

sledge/ppx_trace/trace/dune

@@ -1,8 +0,0 @@
-; Copyright (c) Facebook, Inc. and its affiliates.
-;
-; This source code is licensed under the MIT license found in the
-; LICENSE file in the root directory of this source tree.
-
-(library
- (name trace)
- (public_name ppx_trace.trace))

sledge/sledge.opam

@@ -6,19 +6,18 @@ bug-reports: "https://github.com/facebook/infer/issues/new?template=sledge_issue
 dev-repo: "git://github.com/facebook/infer.git"
 license: "MIT"
 build: [
-  ["dune" "build" "_build/opt/bin/sledge.exe" "-j" jobs]
+  [make "release"]
-  ["dune" "install" "--context=opt" "sledge"]
 ]
 depends: [
   "ocaml"
   "apron"
-  "base" {>= "v0.12.0"}
+  "base"
-  "core"
+  "core" {>= "v0.14"}
   "crunch" {build}
   "ctypes"
   "ctypes-foreign"
-  "dune" {>= "2.0" build}
+  "dune" {build & >= "2.5"}
-  "dune-build-info"
+  "dune-build-info" {build}
   "llvm" {= "8.0.0"}
   "ppx_compare"
   "ppx_hash"

sledge/src/dune

@@ -1,14 +0,0 @@
-; Copyright (c) Facebook, Inc. and its affiliates.
-;
-; This source code is licensed under the MIT license found in the
-; LICENSE file in the root directory of this source tree.
-
-(library
- (name sledge)
- (public_name sledge)
- (libraries trace import)
- (flags
-  (:standard -open Import))
- (preprocess
-  (pps ppx_sledge))
- (inline_tests))

sledge/src/import/dune

@@ -1,13 +0,0 @@
-; Copyright (c) Facebook, Inc. and its affiliates.
-;
-; This source code is licensed under the MIT license found in the
-; LICENSE file in the root directory of this source tree.
-
-(library
- (name import)
- (public_name sledge.import)
- (libraries core core_kernel.fheap zarith trace)
- (flags (:standard))
- (preprocess
-  (pps ppx_sledge))
- (inline_tests))