forked from logicmachine/cpp-simplifier
-
Notifications
You must be signed in to change notification settings - Fork 1
/
dune-project
44 lines (31 loc) · 948 Bytes
/
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 3.7)
(name c-tree-carver)
(generate_opam_files true)
(source
(github rems-project/c-tree-carver))
(authors "Dhruv Makwana <dhruv.makwana@cl.cam.ac.uk")
(maintainers "Dhruv Makwana <dhruv.makwana@cl.cam.ac.uk")
(license MIT BSD-2-Clause)
; (documentation https://url/to/documentation)
(package
(name c-tree-carver)
(synopsis "Clang-based tool for tree-carving C source trees")
(description "")
(depends
(ocaml (>= 4.12.0))
conf-c++
(conf-cmake :dev)
(conf-llvm (= 12.0.1))
(conf-python3 :with-test)
(fileutils (>= 0.6.4))
(shexp (>= v0.15.0))
(ocamlformat (and (>= 0.25.1) :dev))
(ppx_deriving (and (>= 5.2.1)))
(ppx_expect (and (>= v0.15.1) :with-test)))
(tags
(topics c clang tool tree-carving)))
(package
(name conf-libclang-12-dev)
(allow_empty))
(formatting)
; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project