anchor.diff:  #    ./configure;\
   #    make install
   #### Install from binary ####
  -RUN cd /usr/local/bin;\
  -    wget -nv http://lampwww.epfl.ch/~amin/dkr/chez/scheme;\
  -    chmod 755 scheme;\
  -    cd /usr/local/lib;\
  -    mkdir -p csv9.4/a6le;\
  -    cd csv9.4/a6le;\
  -    wget -nv http://lampwww.epfl.ch/~amin/dkr/chez/petite.boot;\
  -    wget -nv http://lampwww.epfl.ch/~amin/dkr/chez/scheme.boot
  +#RUN cd /usr/local/bin;\
  +#    wget -nv http://lampwww.epfl.ch/~amin/dkr/chez/scheme;\
  +#    chmod 755 scheme;\
  +#    cd /usr/local/lib;\
  +#    mkdir -p csv9.4/a6le;\
  +#    cd csv9.4/a6le;\
  +#    wget -nv http://lampwww.epfl.ch/~amin/dkr/chez/petite.boot;\
  +#    wget -nv http://lampwww.epfl.ch/~amin/dkr/chez/scheme.boot
  +
  +RUN apt-get install -y chezscheme
   
   ### ML ###
   RUN apt-get install -y mlton-compiler
  
positive.code: # namin/io.livecode.ch
  
  FROM ubuntu:17.04
  MAINTAINER Nada Amin, namin@alum.mit.edu
  
  RUN \
  
negative.code: 
  ## LaTeX ##
  RUN apt-get install -y texlive-latex-base texlive-latex-extra
  
  ## Racket ##
  
  RUN add-apt-repository ppa:plt/racket
  RUN apt-get update
  RUN apt-get install -y racket
  
  ## SMT ##
  
  RUN apt-get install -y z3
  RUN apt-get install -y cvc4
  
  ## user runner ##
  
  