Lines Matching full:be
23 #error "BOOST_PLAT_WINDOWS_UWP should be available"
27 #error "BOOST_PLAT_WINDOWS_UWP should not be available"
39 #error "BOOST_PLAT_WINDOWS_DESKTOP should be available"
42 #error "BOOST_PLAT_WINDOWS_PHONE should not be available"
45 #error "BOOST_PLAT_WINDOWS_RUNTIME should not be available"
48 #error "BOOST_PLAT_WINDOWS_SERVER should not be available"
51 #error "BOOST_PLAT_WINDOWS_STORE should not be available"
54 #error "BOOST_PLAT_WINDOWS_SYSTEM should not be available"
61 // and if WINAPI_FAMILY is set to it, then it and only it should be available.
70 #error "BOOST_PLAT_WINDOWS_DESKTOP should be available"
73 #error "BOOST_PLAT_WINDOWS_PHONE should not be available"
76 #error "BOOST_PLAT_WINDOWS_RUNTIME should not be available"
79 #error "BOOST_PLAT_WINDOWS_SERVER should not be available"
82 #error "BOOST_PLAT_WINDOWS_STORE should not be available"
85 #error "BOOST_PLAT_WINDOWS_SYSTEM should not be available"
91 #error "BOOST_PLAT_WINDOWS_DESKTOP should not be available"
94 #error "BOOST_PLAT_WINDOWS_PHONE should be available"
97 #error "BOOST_PLAT_WINDOWS_RUNTIME should be available"
100 #error "BOOST_PLAT_WINDOWS_SERVER should not be available"
103 #error "BOOST_PLAT_WINDOWS_STORE should not be available"
106 #error "BOOST_PLAT_WINDOWS_SYSTEM should not be available"
112 #error "BOOST_PLAT_WINDOWS_DESKTOP should not be available"
115 #error "BOOST_PLAT_WINDOWS_PHONE should not be available"
118 #error "BOOST_PLAT_WINDOWS_RUNTIME should not be available"
121 #error "BOOST_PLAT_WINDOWS_SERVER should be available"
124 #error "BOOST_PLAT_WINDOWS_STORE should not be available"
127 #error "BOOST_PLAT_WINDOWS_SYSTEM should not be available"
137 #error "BOOST_PLAT_WINDOWS_DESKTOP should not be available"
140 #error "BOOST_PLAT_WINDOWS_PHONE should not be available"
143 #error "BOOST_PLAT_WINDOWS_RUNTIME should be available"
146 #error "BOOST_PLAT_WINDOWS_SERVER should not be available"
149 #error "BOOST_PLAT_WINDOWS_STORE should be available"
152 #error "BOOST_PLAT_WINDOWS_SYSTEM should not be available"
158 #error "BOOST_PLAT_WINDOWS_DESKTOP should not be available"
161 #error "BOOST_PLAT_WINDOWS_PHONE should not be available"
164 #error "BOOST_PLAT_WINDOWS_RUNTIME should not be available"
167 #error "BOOST_PLAT_WINDOWS_SERVER should not be available"
170 #error "BOOST_PLAT_WINDOWS_STORE should not be available"
173 #error "BOOST_PLAT_WINDOWS_SYSTEM should be available"