Differential D6667

Add a MANPAGES knob to devel/valgrind{-devel}
ClosedPublic
Actions

Authored by asomers on May 31 2016, 11:38 PM.

Tags

None

Referenced Files

	Unknown Object (File)
	Fri, Feb 14, 6:06 AM

	Unknown Object (File)
	Dec 6 2024, 5:54 PM

	Unknown Object (File)
	Nov 29 2024, 7:34 PM

	Unknown Object (File)
	Nov 25 2024, 10:08 PM

	Unknown Object (File)
	Nov 24 2024, 10:39 PM

	Unknown Object (File)
	Nov 23 2024, 2:56 PM

	Unknown Object (File)
	Nov 22 2024, 3:44 AM

	Unknown Object (File)
	Nov 21 2024, 7:16 AM

Subscribers

Details

Reviewers

Commits

rP416294: Add a MANPAGES knob to devel/valgrind{-devel}

Summary

devel/valgrind/Makefile
devel/valgrind/pkg-plist
devel/valgrind-devel/Makefile
devel/valgrind-devel/pkg-plist
Add a MANPAGES option. valgrind's man pages are built with
docbook-xml, which has lots of dependencies. Disabling MANPAGES will
speed the build.

Diff Detail

Repository

rP FreeBSD ports repository

Lint

No Lint Coverage

Unit

No Test Coverage

Build Status

Buildable 4058
Build 4101: arc lint + arc unit

Event Timeline

asomers updated this revision to Diff 17163.May 31 2016, 11:38 PM

asomers retitled this revision from to Add a MANPAGES knob to devel/valgrind{-devel}.

asomers updated this object.

asomers edited the test plan for this revision. (Show Details)

asomers added a reviewer: bdrewery.

asomers added a subscriber: brd.

Herald added a subscriber: mat. · View Herald TranscriptMay 31 2016, 11:38 PM

Thanks!

This revision is now accepted and ready to land.May 31 2016, 11:59 PM

Closed by commit rP416294: Add a MANPAGES knob to devel/valgrind{-devel} (authored by asomers). · Explain WhyJun 2 2016, 8:34 PM

This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

Path

Size

devel/

valgrind-devel/

15 lines

18 lines

valgrind/

14 lines

18 lines

Diff 17163

devel/valgrind-devel/Makefile

Loading...

devel/valgrind-devel/pkg-plist

Loading...

devel/valgrind/Makefile

Loading...

devel/valgrind/pkg-plist

Loading...