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
Ignore white space 12 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


			




        

    






    
    



    


    

     
    
0 comments (0 inline)