setup.md

Contents

• Install Haskell
• Install PostgreSQL

.bash_profile

export LC_ALL=C.UTF-8
export LANG=C.UTF-8

export PATH=$HOME/.cargo/bin:$PATH

Install wasm-pack

sh curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh

Install Haskell

https://www.haskell.org/ghcup/

TODO Want to avoid installing build-essential as a whole:

The following NEW packages will be installed:
  build-essential bzip2 cpp cpp-10 dpkg-dev fakeroot g++ g++-10 gcc gcc-10 libalgorithm-diff-perl
  libalgorithm-diff-xs-perl libalgorithm-merge-perl libcc1-0 libdpkg-perl libfakeroot libfile-fcntllock-perl
  libisl23 liblocale-gettext-perl libmpc3 libmpfr6 xz-utils

TODO You need this as well https://gitlab.haskell.org/ghc/ghc/-/issues/15444 solved from 9.2.2

apt install libnuma-dev

TODO libffi-dev libffi7 were already installed, when?

apt install build-essential libffi-dev libffi7 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh

• libffi-dev installed with lldb

1. Proceed: ↩
2. Prepend: ↩
3. Install haskell-language-server: Y ↩
4. Install stack: Y ↩
5. Proceed: ↩

stack update
# edit stack.yaml
stack install idris
stack install agda

Install Python libraries

Scipy

apt install -y libblas-dev liblapack-dev gfortran
pip3 install scipy

Matplotlib

apt install -y libfreetype6-dev
pip3 install matplotlib

Graphviz

apt install -y graphviz-dev
pip3 install pygraphviz

# or

apt install -y graphviz
pip3 install graphviz

OpenCV

apt install -y libsm6 libxrender-dev
pip3 install opencv-python

Install PostgreSQL

https://www.postgresql.org/download/linux/ubuntu/

curl -s https://www.postgresql.org/media/keys/ACCC4CF8.asc | gpg --dearmor -o /usr/share/keyrings/pgdg-archive-keyring.gpg
echo "deb [signed-by=/usr/share/keyrings/pgdg-archive-keyring.gpg] http://apt.postgresql.org/pub/repos/apt/ $VERSION_CODENAME-pgdg main" > /etc/apt/sources.list.d/pgdg.list
apt update
apt install -y postgresql

Install PostGIS

https://postgis.net/install/

apt install postgresql-10-postgis-2.4