2017-02-24 17:36:39 +00:00
|
|
|
(rule
|
2018-06-28 03:15:02 +00:00
|
|
|
(with-stdout-to dune.1 (run %{bin:dune} --help=groff)))
|
2017-05-28 03:13:34 +00:00
|
|
|
|
2017-02-24 17:36:39 +00:00
|
|
|
(install
|
2018-06-27 15:38:05 +00:00
|
|
|
(section man)
|
|
|
|
|
(package dune)
|
|
|
|
|
(files dune.1))
|
2017-05-28 03:13:34 +00:00
|
|
|
|
2018-02-07 11:38:21 +00:00
|
|
|
(rule
|
2018-06-27 15:38:05 +00:00
|
|
|
(with-stdout-to dune-config.5
|
2018-06-28 03:15:02 +00:00
|
|
|
(run %{bin:jbuilder} help config --man-format=groff)))
|
2018-02-07 11:38:21 +00:00
|
|
|
|
|
|
|
|
(install
|
2018-06-27 15:38:05 +00:00
|
|
|
(section man)
|
|
|
|
|
(package dune)
|
|
|
|
|
(files dune-config.5))
|
2018-02-07 11:38:21 +00:00
|
|
|
|
2018-05-03 13:07:15 +00:00
|
|
|
(include dune.inc)
|
2017-06-02 17:25:20 +00:00
|
|
|
|
|
|
|
|
(rule
|
2018-06-27 15:38:05 +00:00
|
|
|
(targets dune.inc.gen)
|
|
|
|
|
(deps (package dune))
|
|
|
|
|
(action
|
2018-07-06 06:42:24 +00:00
|
|
|
(with-stdout-to %{targets}
|
2018-07-02 15:02:29 +00:00
|
|
|
(run bash %{dep:update-jbuild.sh}))))
|
2017-06-02 17:25:20 +00:00
|
|
|
|
2018-01-15 13:24:25 +00:00
|
|
|
(alias
|
2018-06-27 15:38:05 +00:00
|
|
|
(name runtest)
|
|
|
|
|
(action (diff dune.inc dune.inc.gen)))
|
