Project

General

Profile

Revision 9b0432bc backends/dune

View differences:

backends/dune
9 9
(library
10 10
(wrapped false)
11 11
(name backends)
12
(libraries lustrec mpfr_plugin)
12
(libraries lustrec mpfr_plugin tiny)
13
(preprocess (staged_pps ppx_deriving_yojson ppx_import ppx_deriving.show))
13 14
(modules :standard  \
14 15
 c_backend_cmake
15 16
java_backend

Also available in: Unified diff