mirror of
https://github.com/haskell/haskell-language-server.git
synced 2024-08-15 11:30:36 +03:00
2f886bfdca
* handle trailing comma in import list properly * no longer backup .ghcup in gitpod * fix for ghc < 9 * fix it without using CPP * explain gitpod change * read trailing comma before adding one * refine imports * refine gitpod * gitpod store ghcide and hie-bios cache These cache directories are small, but not preserving them requires HLS to compile all modules in local project on workspace restarts. * fix code styling
77 lines
2.8 KiB
YAML
77 lines
2.8 KiB
YAML
image:
|
|
file: .gitpod.Dockerfile
|
|
# List the start up tasks. Learn more https://www.gitpod.io/docs/config-start-tasks/
|
|
tasks:
|
|
- name: Setup
|
|
before: |
|
|
# Make sure some folders not in /workspace persist between worksapce restarts.
|
|
# You may add additional directories to this list.
|
|
declare -a CACHE_DIRS=(
|
|
$HOME/.local
|
|
$HOME/.cabal
|
|
$HOME/.stack
|
|
$HOME/.cache/ghcide
|
|
$HOME/.cache/hie-bios
|
|
/nix
|
|
)
|
|
for DIR in "${CACHE_DIRS[@]}"; do
|
|
mkdir -p $(dirname /workspace/cache$DIR)
|
|
mkdir -p $DIR # in case $DIR doesn't already exist
|
|
# On a fresh start with no prebuilds, we move existing directory
|
|
# to /workspace. 'sudo mv' fails with 'no permission', I don't know why
|
|
if [ ! -d /workspace/cache$DIR ]; then
|
|
sudo cp -rp $DIR /workspace/cache$DIR
|
|
sudo rm -rf $DIR/*
|
|
fi
|
|
mkdir -p /workspace/cache$DIR # make sure it exists even if cp fails
|
|
# Now /workspace/cache$DIR exists.
|
|
# Use bind mount to make $DIR backed by /workspace/cache$DIR
|
|
sudo mount --bind /workspace/cache$DIR $DIR
|
|
done
|
|
|
|
# Install pre-commit hook
|
|
pre-commit install
|
|
|
|
# Configure VSCode to use the locally built version of HLS
|
|
mkdir -p .vscode
|
|
if [ ! -f .vscode/settings.json ]; then
|
|
# Only write to .vscode/settings.json if it doesn't exist.
|
|
echo '{' > .vscode/settings.json
|
|
echo ' "haskell.serverExecutablePath": "/home/gitpod/.cabal/bin/haskell-language-server",' >> .vscode/settings.json
|
|
echo ' "haskell.formattingProvider": "stylish-haskell"' >> .vscode/settings.json
|
|
echo '}' >> .vscode/settings.json
|
|
fi
|
|
|
|
pip install -r docs/requirements.txt
|
|
init: |
|
|
cabal update
|
|
cabal configure --enable-executable-dynamic
|
|
cabal build --enable-tests all
|
|
cabal install exe:haskell-language-server
|
|
|
|
# List the ports to expose. Learn more https://www.gitpod.io/docs/config-ports/
|
|
ports: []
|
|
|
|
github:
|
|
prebuilds:
|
|
# enable for the master/default branch (defaults to true)
|
|
master: true
|
|
# enable for all branches in this repo (defaults to false)
|
|
branches: false
|
|
# enable for pull requests coming from this repo (defaults to true)
|
|
pullRequests: true
|
|
# enable for pull requests coming from forks (defaults to false)
|
|
pullRequestsFromForks: true
|
|
# add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
|
|
addComment: false
|
|
# add a "Review in Gitpod" button to pull requests (defaults to false)
|
|
addBadge: true
|
|
# add a label once the prebuild is ready to pull requests (defaults to false)
|
|
addLabel: false
|
|
|
|
vscode:
|
|
extensions:
|
|
- "haskell.haskell"
|
|
- "justusadam.language-haskell"
|
|
- "EditorConfig.EditorConfig"
|