-
Notifications
You must be signed in to change notification settings - Fork 197
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Some minor fixation to solve the dependency issues
- Loading branch information
1 parent
ba97664
commit 27f7dee
Showing
4 changed files
with
12 additions
and
5 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -76,7 +76,7 @@ if [ ! -f $BUILD/progress/system-pkgs ]; then | |
run . sudo apt-get install -y psmisc | ||
|
||
run . sudo apt-get install -y zlib1g-dev | ||
run . sudo apt-get install -y libncurses5{,-dev} | ||
run . sudo apt-get install -y libncurses-dev | ||
|
||
# Needed for GHC | ||
run . sudo apt-get install -y make | ||
|
@@ -86,6 +86,13 @@ if [ ! -f $BUILD/progress/system-pkgs ]; then | |
|
||
# Needed for GHCJS | ||
run . sudo apt-get install -y gnupg | ||
# If there is version depreciation warning for nodejs, | ||
# Feel free to ignore the below two commands and install nodejs manually in root directory | ||
# Install Node 12 -> $nvm install 12.22.12 | ||
# Install specific npm version -> $npm install -g [email protected] | ||
# Verify versions | ||
# $node --version Should show v12.22.12 | ||
# $npm --version Should show 6.14.16 | ||
run --quiet . curl -sL https://deb.nodesource.com/setup_12.x | sudo -E bash - | ||
run . sudo apt-get install -y nodejs | ||
|
||
|