Skip to content
This repository has been archived by the owner on Dec 16, 2022. It is now read-only.

gamgee.h: one header to rule them all #117

Merged
merged 1 commit into from
Jul 9, 2014

Conversation

droazen
Copy link
Contributor

@droazen droazen commented Jul 9, 2014

-One header that gets you all of the gamgee includes (minus the utils)

-For client code (eg., foghorn) where convenience is desired. Should
not be used within gamgee itself, to cut down on compilation time and
also to make it possible to still cherry-pick individual headers in client
code when compile time is critical.

-Avoid having to type silly things like #include "is_missing.h"

-Should be continually updated as gamgee expands (pull requests should
be rejected if they don't update gamgee.h as necessary)

-One header that gets you all of the gamgee includes (minus the utils)

-For client code (eg., foghorn) where convenience is desired. Should
 not be used within gamgee itself, to cut down on compilation time and
 also to make it possible to still cherry-pick individual headers in client
 code when compile time is critical.

-Avoid having to type silly things like #include "is_missing.h"

-Should be continually updated as gamgee expands (pull requests should
 be rejected if they don't update gamgee.h as necessary)
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.08%) when pulling bf27292 on dr_monolithic_gamgee_header into f999766 on master.

MauricioCarneiro pushed a commit that referenced this pull request Jul 9, 2014
@MauricioCarneiro MauricioCarneiro merged commit 7633174 into master Jul 9, 2014
@MauricioCarneiro MauricioCarneiro deleted the dr_monolithic_gamgee_header branch July 9, 2014 17:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants