Install script#43

Open

gasche wants to merge 3 commits intoOCamlPro:masterfrom

gasche:install-script

Commits on Oct 5, 2017

install-builder.sh: refresh index before building a switch
gasche
committed
install-builder.sh: use https://github URLs instead of git@github
gasche
committed
scripts: copy the environment-declaration logic in a self-contained script
gasche
committed