Project

General

Profile

« Previous | Next » 

Revision 57c96fb7

Added by LĂ©lio Brun 11 months ago

setup tests for dune

View differences:

src/dune
50 50
   clock_calculus
51 51
 )
52 52
 (wrapped false)
53
 (libraries ocamlgraph zarith unix str))
53
 (libraries sites ocamlgraph zarith unix str))
54 54

  
55 55
(library
56 56
 (name plugin_register)
......
61 61

  
62 62
(generate_sites_module
63 63
 (module sites)
64
 (plugins (lustrec plugins) (lustrec verifiers)))
64
 ; (sites lustrec)
65
 (plugins
66
  (lustrec plugins)
67
  (lustrec verifiers)))
65 68

  
66 69
(library
67 70
 (name sites)
......
157 160
   memo)
158 161
 (libraries tools_lib))
159 162

  
163

  
164

  
160 165
; (executable
161 166
;  (name main_parse_json_file)
162 167
;  (public_name json-parser)

Also available in: Unified diff