stanc3/src/frontend/dune at 450cad490e37e88295a01c8b3830384f9c36bb9c · stan-dev/stanc3 · GitHub

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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
(library
 (name frontend)
 (public_name stanc.frontend)
 (libraries core re menhirLib fmt middle common yojson uucp)
 (instrumentation
  (backend bisect_ppx))
 (inline_tests)
 (preprocess
  (pps ppx_jane ppx_deriving.fold ppx_deriving.map)))

(rule
 (target lexer.ml)
 (deps lexer.mll)
 (action
  (chdir
   %{workspace_root}
   (run %{bin:ocamllex} -ml -o %{target} %{deps}))))

(rule
 (targets parsing_errors.ml)
 (deps parser.mly parser.messages)
 (action
  (with-stdout-to
   %{targets}
   (run
    menhir
    --explain
    --strict
    --unused-tokens
    parser.mly
    --compile-errors
    parser.messages))))

(menhir
 (modules parser)
 (flags :standard --table --strict --require-aliases))

(rule
 (targets parser_updated.messages)
 (action
  (with-stdout-to
   %{targets}
   (run menhir %{dep:parser.mly} --update-errors %{dep:parser.messages}))))

(rule
 (targets parser_new.messages)
 (action
  (with-stdout-to
   %{targets}
   (run menhir --list-errors %{dep:parser.mly}))))

(rule
 (targets parser_updated_trimmed.messages)
 (action
  (progn
   (with-stdout-to
    %{targets}
    (run
     %{dep:parser_strip_redundant_state.py}
     %{dep:parser_updated.messages}))
   (run
    %{dep:parser_add_missing_messages.py}
    %{dep:parser.mly}
    %{dep:parser_new.messages}
    parser_updated_trimmed.messages))))

(rule
 (alias update_messages)
 (action
  (diff parser.messages parser_updated_trimmed.messages)))

(rule
 (alias runtest)
 (action
  (run
   menhir
   parser.mly
   --compare-errors
   %{dep:parser_new.messages}
   --compare-errors
   %{dep:parser.messages})))