DanielGallagherIRE commited on
Commit
62751bf
·
1 Parent(s): 551027e

minor changes

Browse files
Files changed (1) hide show
  1. setup.sh +5 -4
setup.sh CHANGED
@@ -1,13 +1,14 @@
1
  #!/bin/bash
2
 
3
  apt-get update
4
- apt-get install -y opam wget m4 unzip librsvg2-bin curl bubblewrap make gcc
5
 
6
- opam init -y --bare
 
7
  eval $(opam env)
8
 
9
  opam remote add grew "https://opam.grew.fr"
10
- opam update
11
- opam install grewpy_backend -y
12
 
 
13
  pip install grewpy
 
1
  #!/bin/bash
2
 
3
  apt-get update
4
+ apt-get install opam wget m4 unzip librsvg2-bin curl bubblewrap make gcc
5
 
6
+ opam init
7
+ opam switch create 5.2.1
8
  eval $(opam env)
9
 
10
  opam remote add grew "https://opam.grew.fr"
11
+ opam install grew
 
12
 
13
+ opam install grewpy_backend
14
  pip install grewpy