dune 387 Bytes
Newer Older
Philippe Veber's avatar
Philippe Veber committed
1
(executable
Philippe Veber's avatar
Philippe Veber committed
2 3 4 5
 (name codepi_app)
 (public_name codepi)
 (modules codepi_app)
 (libraries codepi)
Philippe Veber's avatar
Philippe Veber committed
6 7
 (preprocess
  (pps ppx_jane)))
Philippe Veber's avatar
Philippe Veber committed
8

Philippe Veber's avatar
Philippe Veber committed
9 10 11 12
(executable
 (name orthomam_app)
 (public_name orthomam_convergence)
 (modules orthomam_app)
Philippe Veber's avatar
Philippe Veber committed
13
 (libraries codepi)
Philippe Veber's avatar
Philippe Veber committed
14 15
 (preprocess
  (pps ppx_jane)))
Philippe Veber's avatar
Philippe Veber committed
16 17 18 19 20 21

(executable
  (name lmm_benchmark)
  (modules lmm_benchmark)
  (libraries codepi)
  (preprocess (pps ppx_jane)))