2018-08-08 14:21:32 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								cd Thread-Pool/build/
							 | 
						
					
						
							
								
									
										
										
										
											2019-01-21 21:21:01 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								cmake .. -DCMAKE_CXX_FLAGS="${CXX_FLAGS}" -DCMAKE_C_FLAGS="${C_FLAGS}" -DCMAKE_BUILD_TYPE="${CMAKE_BUILD_TYPE}" ${CMAKE_OPTIONS}
							 | 
						
					
						
							
								
									
										
										
										
											2018-08-09 12:38:44 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								make ${CMAKE_MAKE_OPTIONS}
							 | 
						
					
						
							
								
									
										
										
										
											2018-08-08 19:51:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								sudo make install
							 |