forked from gfngfn/SATySFi
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune
64 lines (56 loc) · 1.7 KB
/
dune
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
(executable
(name main)
(public_name satysfi)
(flags (-w -3 -bin-annot -thread -safe-string))
(libraries str
batteries
camlimages
camlimages.jpeg
camlpdf
core_kernel
core_kernel.pairing_heap
menhirLib
otfm
uutf
yojson-with-position
omd
)
(preprocess (pps
ppx_deriving.show
))
)
;; dune requires all the .ml/.mli files to be in the same directory as the jbuild.
;; https://github.com/ocaml/dune/issues/109
(copy_files# backend/*.{ml,mli})
(copy_files# text-mode/*.{ml,mli})
(copy_files# md/*.{ml,mli})
(copy_files# chardecoder/*.{ml,mli})
(copy_files chardecoder/*.{mll,mly})
(copy_files# frontend/*.{ml,mli})
(copy_files frontend/*.{mll,mly})
(copy_files# frontend/bytecomp/*.{ml,mli})
(ocamllex
(modules lexer dataLexer))
(menhir
(modules parser dataParser)
(flags (--table --explain)))
(rule
(targets types.ml)
(deps (:src types.cppo.ml) __insttype.gen.ml __attype.gen.ml __codetype.gen.ml __unliftcode.gen.ml)
(action (run %{bin:cppo} %{src} -o %{targets})))
(rule
(targets vm.ml)
(deps (:src vm.cppo.ml) __vm.gen.ml)
(action (run %{bin:cppo} %{src} -o %{targets})))
(rule
(targets ir.ml)
(deps (:src ir.cppo.ml) __ir_0.gen.ml __ir_1.gen.ml)
(action (run %{bin:cppo} %{src} -o %{targets})))
(rule
(targets evaluator.ml)
(deps (:src evaluator.cppo.ml) __evaluator_0.gen.ml __evaluator_1.gen.ml)
(action (run %{bin:cppo} %{src} -o %{targets})))
(rule
(targets primitives.ml)
(deps (:src primitives.cppo.ml) __primitives_pdf_mode.gen.ml __primitives_text_mode.gen.ml)
(action (run %{bin:cppo} %{src} -o %{targets})))