You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
21b92b6 cmake: EXTERNAL_MPGEN cleanups (Ryan Ofsky)
Pull request description:
Suggested by hebasto in #142 (review)
Top commit has no ACKs.
Tree-SHA512: 2e991a0387477d04219308b33d2dbcd5139561a8023c0de5d901dea3272a934b0247a721aab552da185432652e11f058da586b22eef8d9012b5ffcbef121ee5d
set(EXTERNAL_MPGEN""CACHESTRING"Use the supplied mpgen binary rather than the one built internally")
27
+
set(Libmultiprocess_EXTERNAL_MPGEN""CACHEFILEPATH"If specified, should be full path to an external mpgen binary to use rather than the one built internally.")
0 commit comments