Changeset - r721:0cd6d84103a4
« 720:e4378d
722:c5dc4d »
gravatar
ladanyi@tmit.bme.hu
ladanyi@tmit.bme.hu
Add tools/CMakeLists.txt to the tarball
0 1 0
default
1 file changed with 3 insertions and 0 deletions:
tools/Makefile.am
3
↑ Collapse diff ↑
tools/Makefile.am
Show white space 24 line context
1 
EXTRA_DIST += \
2 
	tools/CMakeLists.txt
3 

			




	1
	4
	
		
if WANT_TOOLS


			




	2
	5
	
		

			




	3
	6
	
		
bin_PROGRAMS += \


			




	4
	7
	
		
	tools/dimacs-solver \


			




	5
	8
	
		
	tools/dimacs-to-lgf \


			




	6
	9
	
		
	tools/lgf-gen


			




	7
	10
	
		

			




	8
	11
	
		
dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh


			




	9
	12
	
		

			




	10
	13
	
		
endif WANT_TOOLS


			




	11
	14
	
		

			




	12
	15
	
		
tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc


			




        

    






    
    



    


    

     
    
0 comments (0 inline)