Project

General

Profile

Download (217 Bytes) Statistics
| Branch: | Tag: | Revision:
1 589ccf9f Corentin Lauverjat
2
(env
3
 (dev
4
  (flags
5
   (:standard -warn-error -A))))
6
7
(include_subdirs unqualified)
8
9
(library
10
(wrapped false)
11
(name backends)
12
(libraries lustrec lustrec_mpfr)
13
(modules :standard  \
14
 c_backend_cmake
15
java_backend
16
)
17
)