(* -*- tuareg -*- *)
(*
 * Copyright (c) 2018-present, Facebook, Inc.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 *)

let deps = ["import"; "trace"; "llair_"; "symbheap"]

;;
Jbuild_plugin.V1.send
@@ Format.sprintf
     {|
(rule
 (targets version.ml)
 (deps version.ml.in (universe))
 (action (run ../tools/gen_version.sh version.ml))
 (mode promote-until-clean))

(executable
 (public_name sledge)
 (package sledge)
 %s
 (libraries cmdliner %s))
|}
     (flags deps) (libraries deps)