File: dune

package info (click to toggle)
ppxlib 0.37.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,804 kB
  • sloc: ml: 66,587; sh: 103; makefile: 40; python: 36
file content (15 lines) | stat: -rw-r--r-- 287 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
(executable
 (name raising_driver)
 (modules raising_driver)
 (libraries ppxlib))

(executable
 (name identity_driver)
 (modules identity_driver)
 (libraries ppxlib))

(cram
 (package ppxlib)
 (enabled_if
  (>= %{ocaml_version} "4.08.0"))
 (deps raising_driver.exe identity_driver.exe))