forked from goblint/analyzer
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune-project
44 lines (41 loc) · 2.08 KB
/
dune-project
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
(lang dune 2.3)
(name goblint)
; build failed with: Files src/.maingoblint.eobjs/native/mutex.cmx and _opam/lib/ocaml/threads/threads.cmxa both define a module named Mutex
; maybe related: https://github.com/ocaml/dune/issues/1727, https://github.com/ocaml/dune/issues/597
; (implicit_transitive_deps false) ; does not help about the pulled-in Mutex from ocaml/threads
(wrapped_executables true) ; prefix compilation unit names; mentioned here: https://github.com/ocaml/ocaml/pull/2218#issuecomment-572043299; doc says it's the default since dune 2.0, but it somehow still fixes the clash
; https://dune.readthedocs.io/en/stable/dune-files.html#generate-opam-files
; goblint.opam is generated on `dune build` (not normal make!) from this file and goblint.opam.template
; also remember to generate/adjust goblint.opam.locked!
(generate_opam_files true)
(source (github goblint/analyzer))
(homepage "https://goblint.in.tum.de")
(documentation "https://goblint.readthedocs.io/en/latest/")
(authors "Vesal Vojdani" "Kalmer Apinis" "Ralf Vogler" "Michael Schwarz" "Julian Erhard" "Simmo Saan")
(maintainers "Michael Schwarz <[email protected]>" "Simmo Saan <[email protected]>" "Ralf Vogler <[email protected]>")
(license MIT)
(package
(name goblint)
(synopsis "Static analysis framework for concurrent C")
(depends
(ocaml (>= 4.09))
dune
zarith_stubs_js ; only needed for js_of_ocaml
goblint-cil ; TODO no way to define as pin-depends? Used goblint.opam.template to add it for now. https://github.com/ocaml/dune/issues/3231. Alternatively, removing this line and adding cil as a git submodule and `(vendored_dirs cil)` as ./dune also works. This way, no more need to reinstall the pinned cil opam package on changes. However, then cil is cleaned and has to be rebuild together with goblint.
(batteries (>= 3.2.0))
qcheck-core
(ppx_distr_guards (>= 0.2))
ppx_deriving
ppx_deriving_yojson
ocaml-monadic
(ounit2 :with-test)
(odoc :with-doc)
; TODO still need the following after switch to dune?
ocamlbuild
ocamlfind
)
(depopts
apron
z3
)
)