2017-02-26 19:49:54 +00:00
|
|
|
(jbuild_version 1)
|
2017-02-24 17:36:39 +00:00
|
|
|
|
|
|
|
(rule
|
2018-05-02 11:56:12 +00:00
|
|
|
((targets (dune.1))
|
2017-02-24 17:36:39 +00:00
|
|
|
(action (with-stdout-to ${@}
|
2018-05-02 11:56:12 +00:00
|
|
|
(run ${bin:dune} --help=groff)))))
|
2017-05-28 03:13:34 +00:00
|
|
|
|
2017-02-24 17:36:39 +00:00
|
|
|
(install
|
|
|
|
((section man)
|
2018-05-02 11:56:12 +00:00
|
|
|
(files (dune.1))))
|
2017-05-28 03:13:34 +00:00
|
|
|
|
2018-02-07 11:38:21 +00:00
|
|
|
(rule
|
|
|
|
((targets (dune-config.5))
|
|
|
|
(action (with-stdout-to ${@}
|
|
|
|
(run ${bin:jbuilder} help config --man-format=groff)))))
|
|
|
|
|
|
|
|
(install
|
|
|
|
((section man)
|
|
|
|
(files (dune-config.5))))
|
|
|
|
|
2018-01-15 13:24:25 +00:00
|
|
|
(include jbuild.inc)
|
2017-06-02 17:25:20 +00:00
|
|
|
|
|
|
|
(rule
|
2018-05-02 11:56:12 +00:00
|
|
|
((targets (jbuild.inc.gen))
|
|
|
|
(deps ((package dune)))
|
|
|
|
(action
|
|
|
|
(with-stdout-to ${@}
|
|
|
|
(run bash ${path:update-jbuild.sh})))))
|
2017-06-02 17:25:20 +00:00
|
|
|
|
2018-01-15 13:24:25 +00:00
|
|
|
(alias
|
2018-01-18 11:32:20 +00:00
|
|
|
((name runtest)
|
|
|
|
(action (diff jbuild.inc jbuild.inc.gen))))
|