11 lat temu · 2e1fb218cf
--- a/toolset/setup/linux/languages/leda.sh
+++ b/toolset/setup/linux/languages/leda.sh
@@ -7,4 +7,4 @@ git clone [email protected]:sergeyzavadski/leda.git
 
				 cd leda
			
 
				 ./configure
			
 
				 make 
			
 
				-sudo make install
			
 
				+sudo make install