Phoebe bcff929875 Add PREFER_NINJA to many ports (#7468) ... * Add PREFER_NINJA to many ports		2019-07-31 13:01:02 -07:00
..
CONTROL	Add PREFER_NINJA to many ports (#7468)	2019-07-31 13:01:02 -07:00
disable-programs.patch
enable-install.patch
fix-gklib-vs14-math.patch
fix-linux-build-error.patch	[metis] Fix linux build error. (#7299)	2019-07-17 15:25:13 -07:00
fix-metis-vs14-math.patch
fix-runtime-install-destination.patch
portfile.cmake	Add PREFER_NINJA to many ports (#7468)	2019-07-31 13:01:02 -07:00