File: dune

package info (click to toggle)
coq-simple-io 1.11.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 380 kB
  • sloc: ml: 273; makefile: 66
file content (11 lines) | stat: -rw-r--r-- 272 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 
(rule
 (alias runtest)
 (action (diff main.expected main.output)))

(rule
 (deps (package coq-simple-io))
 (action
  (with-stdout-to main.output
   (pipe-stdout
    (run echo "this is\na test")
    (run %{bin:coqc} -I ../../plugin -Q ../../src SimpleIO %{dep:main.v})))))