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 1.19 KB
Newer Older
1 2
;; -*-lisp-*-

3 4 5 6 7 8 9 10 11 12 13 14 15 16
;(rule
; (targets data_parser.ml)
; (deps    (:input-file data_parser.dyp))
; (action  (chdir %{project_root} (run %{bin:dypgen} --noemit-token-type --no-pp --no-obj-type --no-mli %{input-file})))
; )

(ocamllex data_lexer term_lexer)

(menhir
; (flags (--explain --table --compile-errors /home/pogodall/work/dev/ACGtk/src/grammars/term_parser.messages))
 (flags (--explain --table))
 (modules term_parser))

(menhir
17
; (flags (--explain --table --compile-errors /home/pogodall/work/dev/ACGtk/src/grammars/data_parser.messages))
18 19 20
 (merge_into data_parser)
 (flags (--explain --table))
 (modules file_parser sig_parser lex_parser type_parser term2_parser))
21 22 23 24 25 26


;; This stanza declares the Grammar library
(library
 (name grammars)
  (flags (:standard -w -58))
27 28 29
  (modules (:standard \ acgc interactive term_test))
  (libraries
   menhirLib
30 31 32 33 34 35 36 37 38 39 40 41
   logic
   acgData
   )
  )

;; This declares the acgc executable implemented by acgc.ml
(executable
 (name acgc)
 (public_name acgc)
 (package acgtk)
 (modules acgc)
 (libraries
42 43
  logs
  fmt.tty
44 45 46 47 48
  logic
  acgData
  grammars
  ))

49 50 51 52 53 54 55 56 57 58
(test
 (name term_test)
 (modules term_test)
 (libraries
  menhirLib
  utilsLib
  grammars)
 )


59 60

(documentation (package acgtkLib))