anchor.diff:  	&& make prefix=/usr/local -j"$(nproc --all)" install \
   	&& cd .. && rm -f git-2.9.0.tar.gz && rm -rf git-2.9.0
   
  -#Adolfo: usar https
  +# Makes git use https by default
   RUN git config --global url."https://".insteadOf git://
   
   # llvm needs CMake 2.8.12.2 or higher
  
positive.code: RUN R -e 'install.packages(c("rzmq","repr","IRkernel","IRdisplay"), repos = c("http://irkernel.github.io/", getOption("repos")),type = "source")' \
  	&& R -e 'IRkernel::installspec(user = FALSE)'
  
  #Adolfo: para funcionar atrás de um proxy
  #ADD svn-servers /etc/subversion/servers
  
  # coin SYMPHONY
  # https://projects.coin-or.org/SYMPHONY
  
negative.code: 	&& make -j"$(nproc --all)" install \
  	&& cd .. && rm -f v6.2.2.tar.gz && rm -rf node-6.2.2
  
  # Makes npm work behind proxy if http_proxy variable is set
  RUN npm config set proxy ${http_proxy} && npm config set https-proxy ${https_proxy} && npm config set registry http://registry.npmjs.org/ && npm set strict-ssl false
  
  # update npm
  