Grew-TSE / setup.sh
DanielGallagherIRE's picture
minor changes
62751bf
raw
history blame contribute delete
266 Bytes
#!/bin/bash
apt-get update
apt-get install opam wget m4 unzip librsvg2-bin curl bubblewrap make gcc
opam init
opam switch create 5.2.1
eval $(opam env)
opam remote add grew "https://opam.grew.fr"
opam install grew
opam install grewpy_backend
pip install grewpy