@@ -78,32 +78,4 @@ if ! type cabal >/dev/null 2>&1; then
7878 nix-env --install cabal-install
7979fi
8080
81−if ! type nodejs >/dev/null 2>&1 && ! type node >/dev/null 2>&1; then
82− info "no nodejs found, trying to install it"
83− case ${THE_DISTRIBUTION_ID} in
84− debian)
85− curl -sL https://deb.nodesource.com/setup_10.x | sudo bash -
86− sudo apt-get update
87− sudo apt-get install -y nodejs
88− ;;
89− ubuntu)
90− curl -sL https://deb.nodesource.com/setup_10.x | sudo -E bash -
91− sudo apt-get update
92− sudo apt-get install -y nodejs
93− ;;
94− Darwin)
95− if type brew > /dev/null 2>&1; then
96− brew install node@10
97− else
98− curl "https://nodejs.org/dist/latest-v10.x/node-${VERSION:-$(wget -qO- https://nodejs.org/dist/latest-v10.x/ | sed -nE 's|.*>node-(.*)\.pkg</a>.*|\1|p')}.pkg" > "$HOME/Downloads/node-latest-v10.x.pkg" && sudo installer -store -pkg "$HOME/Downloads/node-latest-v10.x.pkg" -target "/"
99− fi
100− ;;
101− rhel|centos)
102− curl -sL https://rpm.nodesource.com/setup_10.x | sudo bash -
103− sudo yum install -y nodejs
104− ;;
105− *) ;;
106− esac
107−fi
108−
10981done_banner "Top level" "build prepare"