finish docker

Dockerfile

@@ -24,9 +24,10 @@ RUN make -j8
 RUN make install
 WORKDIR /LeanEuclid
 
-# Install smt-portfolio.
-RUN pip3 install --upgrade pip
-RUN pip3 install smt-portfolio
+# Install smt-portfolio in venv.
+RUN python3 -m venv venv
+RUN venv/bin/pip install smt-portfolio
+ENV PATH="/LeanEuclid/venv/bin:${PATH}"
 
 # Install elan.
 ENV ELAN_HOME="/.elan"
@@ -37,4 +38,3 @@ RUN curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -
 RUN lake script run check
 RUN lake exe cache get
 RUN lake build SystemE Book UniGeo E3
-RUN lake -R -Kenv=dev build SystemE:docs

scripts/build.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+
+# Install elan.
+curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | bash -s -- -y
+source $HOME/.elan/env
+
+# Build and Install CVC5.
+git clone https://github.com/cvc5/cvc5 && cd cvc5
+./configure.sh --auto-download
+cd build && make -j8 && sudo make install
+cd ../..
+
+# Build and Install Z3.
+git clone https://github.com/Z3Prover/z3 && cd z3
+python3 scripts/mk_make.py
+cd build && make -j8 && sudo make install
+cd ../..
+
+pip install smt-portfolio
+
+lake script run check
+lake exe cache get
+lake build SystemE Book UniGeo E3