Remove c2d support from Docker container, as no longer easily downloa…

…dable

doc/provsql.md

@@ -59,8 +59,8 @@ The following SQL features are currently supported.
 ## Docker container
 
 As an alternative to a ProvSQL installation (see below), you can try
-a demonstration version of ProvSQL (full-featured, except for `minic2d`
-support) as a Docker container. To deploy it, once Docker CE is
+a demonstration version of ProvSQL (full-featured, except for `c2d` and
+`minic2d` support) as a Docker container. To deploy it, once Docker CE is
 installed, simply run:
 
 ```

docker/Dockerfile

@@ -5,7 +5,7 @@ LABEL maintainer [email protected]
 COPY . /opt/provsql
 WORKDIR /opt/provsql
 
-# needed to build provsql the tools + libc6-i386 for running c2d
+# needed to build provsql the tools
 RUN apt-get update &&\
     apt-get -y install git build-essential curl\
                libc6-i386 unzip mercurial libgmp-dev libboost-dev\
@@ -29,16 +29,6 @@ ENV SHELL=/bin/bash
 
 RUN mkdir /tmp/tools/
 
-# TOOL c2d
-RUN curl 'http://reasoning.cs.ucla.edu/c2d/fetchme.php' \
-         -H 'Content-Type: application/x-www-form-urlencoded'\
-         --data 'os=Linux+i386&type=&s=&n=Pierre+Senellart+DOCKER&[email protected]&o=ENS'\
-         -o /tmp/c2d.zip &&\
-         unzip /tmp/c2d.zip -d /tmp/ &&\
-         rm /tmp/c2d.zip &&\
-         mv /tmp/c2d_linux /tmp/tools/c2d &&\
-         chmod a+x /tmp/tools/c2d
-
 # TOOL d4
 RUN cd /tmp/ &&\
     git clone https://github.com/crillab/d4.git &&\