Project

General

Profile

Download (465 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(env
2
 (dev
3
  (flags
4
   (:standard -warn-error -A))))
5

    
6

    
7
(include_subdirs unqualified)
8

    
9
(library
10
 (name lustrec)
11
; (foreign_stubs
12
;  (language c)
13
;  (names floats_stub))
14
 (libraries tiny str zarith apron apron.boxMPQ apron.octMPQ apron.polkaMPQ z3 yojson ocamlgraph)
15
 (modules
16
  (:standard \ expand 
17
  init_predef 
18
  init_calculus 
19
  machine_salsa_opt salsa_plugin salsaDatatypes 
20
  ; disabling non compiling backends modules
21
  c_backend_cmake 
22
  java_backend
23
  ))
24
)
(23-23/71)