Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

dune 2.41 KB
Newer Older
1 2
;; -*-lisp-*-

3 4 5
(ocamllex data_lexer term_lexer)

(menhir
6
; (flags (--explain --table --compile-errors /home/pogodall/work/dev/ACGtk/src/grammars/term_parser_test.messages))
7
 (flags (--explain --table))
8
 (modules term_parser_test))
9 10 11

(menhir
 (merge_into data_parser)
12
 (flags (--explain --table --strict))
13
 (modules file_parser sig_parser lex_parser term_type_parser bound_term_parser))
14 15


16 17


18 19 20 21 22 23 24
;; Rule to generate the messages ml file
(rule
 (targets messages.ml)
 (mode promote)
 (deps
  (alias update)
  (alias check)
25
  (:message_file data_parser.messages)
26
  (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly)
27 28
  )
 (action
29
  (with-stdout-to messages.ml (run menhir --base data_parser --explain --table --compile-errors %{message_file} %{parsers})))
30 31 32 33 34
 )

;; Rule to generate the automatic message file
(rule
 (targets data_parser.messages.automatic)
35
 (deps (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly))
36
 (action
37
  (with-stdout-to data_parser.messages.automatic (run menhir --base data_parser --explain --table --list-errors %{parsers})))
38 39 40 41 42
 )

;; Rule to generate the message file
(rule
 (targets data_parser.messages.new)
43
 (deps (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly))
44
 (action (with-stdout-to data_parser.messages.new (run menhir --base data_parser --explain --table --update-errors data_parser.messages %{parsers}))
45 46 47 48 49 50 51 52 53 54 55 56 57
  )
 )

(alias
 (name update)
 (action (diff data_parser.messages data_parser.messages.new))
 )

(alias
 (name check)
 (deps
  data_parser.messages.automatic
  data_parser.messages
58
  (:parsers file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly)
59
  )
60
 (action (run menhir --base data_parser --explain --table --compare-errors data_parser.messages.automatic --compare-errors data_parser.messages %{parsers}))
61 62
 )

63 64 65 66
;; This stanza declares the Grammar library
(library
 (name grammars)
  (flags (:standard -w -58))
67 68 69
  (modules (:standard \ acgc interactive term_test))
  (libraries
   menhirLib
70 71 72 73 74 75 76 77 78 79 80 81
   logic
   acgData
   )
  )

;; This declares the acgc executable implemented by acgc.ml
(executable
 (name acgc)
 (public_name acgc)
 (package acgtk)
 (modules acgc)
 (libraries
82 83
  logs
  fmt.tty
84 85 86 87 88
  logic
  acgData
  grammars
  ))

89 90 91 92 93 94 95 96 97 98
(test
 (name term_test)
 (modules term_test)
 (libraries
  menhirLib
  utilsLib
  grammars)
 )


99 100

(documentation (package acgtkLib))