Changeset - r794:313d58f9e544
« 793:7c0ad6
796:9cc6e9 »
gravatar
alpar (Alpar Juttner)
alpar@cs.elte.hu
Valgring option for ./scripts/bootstrap.sh
0 1 0
default
1 file changed with 8 insertions and 0 deletions:
scripts/bootstrap.sh
8
↑ Collapse diff ↑
scripts/bootstrap.sh
Ignore white space 6 line context
... ... 
@@ -102,6 +102,13 @@
102 102 

			




	103
	103
	
		
cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"


			




	104
	104
	
		

			




	
	105
	
		
if yesorno "Check with valgrind" "n" 


			




	
	106
	
		
then


			




	
	107
	
		
    valgrind_flags=' --enable-valgrind'


			




	
	108
	
		
else


			




	
	109
	
		
    valgrind_flags=''


			




	
	110
	
		
fi


			




	
	111
	
		

			




	105
	112
	
		
if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then


			




	106
	113
	
		
    if yesorno "Use COIN-OR (CBC/CLP)" "n"


			




	107
	114
	
		
    then


			




	...
	...
	
		
@@ -128,6 +135,7 @@


			




	128
	135
	
		
    autoreconf -vif;


			




	129
	136
	
		
fi


			




	130
	137
	
		
${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \


			




	
	138
	
		
$valgrind_flags \


			




	131
	139
	
		
"$cxx_flags" \


			




	132
	140
	
		
$coin_flag \


			




	133
	141
	
		
$soplex_flag \


			




        

    






    
    



    


    

     
    
0 comments (0 inline)