Page MenuHomePhabricator
Differential D18961

[cmake] Add man pages for the new executables
ClosedPublic
Actions

Authored by Fabien on Wed, Nov 19, 09:01.

Details

Reviewers
PiRK
Group Reviewers
Restricted Project
Commits
rABCb391ea877c5f: [cmake] Add man pages for the new executables
Summary

Both iguana and proof-manager-cli are lacking a target to build their man pages. Let's fix this so it can be added to our documentation on the website.

Test Plan
cmake -GNinja .. -DBUILD_CHRONIK=ON -DBUILD_CHRONIK_PLUGINS=ON -DBUILD_PROOF_MANAGER_CLI=ON -DCMAKE_INSTALL_PREFIX=install -DBUILD_IGUANA=ON
ninja install-manpages-html

Diff Detail

Event Timeline

Fabien created this revision.Wed, Nov 19, 09:01
Herald added a reviewer: Restricted Project. · View Herald TranscriptWed, Nov 19, 09:01
Fabien requested review of this revision.Wed, Nov 19, 09:01
Fabien updated this revision to Diff 56669.

Rebase

Harbormaster completed remote builds in B35107: Diff 56668.Wed, Nov 19, 09:26
Harbormaster completed remote builds in B35108: Diff 56669.Wed, Nov 19, 09:43
Fabien mentioned this in D18963: [website] Build the man pages for iguana and the proof-manager-cli.Wed, Nov 19, 10:04
PiRK accepted this revision.Wed, Nov 19, 10:14
PiRK added a subscriber: PiRK.
PiRK added inline comments.
src/iguana/CMakeLists.txt
36 ↗(On Diff #56669)

no need for the include on this one?

This revision is now accepted and ready to land.Wed, Nov 19, 10:14
Fabien added inline comments.Wed, Nov 19, 10:15
src/iguana/CMakeLists.txt
36 ↗(On Diff #56669)

No because it's a subdir or src/ and the src/CMakeLists.txt already includes the file the defined values are available already

Closed by commit rABCb391ea877c5f: [cmake] Add man pages for the new executables (authored by Fabien). · Explain WhyWed, Nov 19, 10:17
This revision was automatically updated to reflect the committed changes.
Fabien added a commit: rABCb391ea877c5f: [cmake] Add man pages for the new executables.
Fabien mentioned this in rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli.

Revision Contents
Changeset List

PathSize
apps/
proof-manager-cli/
3 lines
src/
iguana/
1 line

Diff 56668

View Options

apps/proof-manager-cli/CMakeLists.txt

Loading...
View Options

src/iguana/CMakeLists.txt

Loading...