Boost was only used for program option parsing. To avoid this huge dependency, this commit replaces boost::program_options with cxxopts, a header-only library with the same functionality. cxxopts is added as a submodule, and Boost is removed from the dependencies in the code and Travis configuration.
		
			
				
	
	
		
			10 lines
		
	
	
		
			260 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			10 lines
		
	
	
		
			260 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
[submodule "lib/clingo"]
 | 
						|
	path = lib/clingo
 | 
						|
	url = https://github.com/potassco/clingo
 | 
						|
[submodule "lib/catch"]
 | 
						|
	path = lib/catch
 | 
						|
	url = https://github.com/catchorg/Catch2
 | 
						|
[submodule "lib/cxxopts"]
 | 
						|
	path = lib/cxxopts
 | 
						|
	url = https://github.com/jarro2783/cxxopts
 |