mirror of
https://github.com/haskell/haskell-ide-engine.git
synced 2024-10-26 11:18:42 +03:00
Fix z3 install for windows and use stack to install liquid
This commit is contained in:
parent
4406e8b232
commit
8cb60ad12d
@ -60,11 +60,7 @@ jobs:
|
||||
displayName: "Install Runtime Test-Dependencies: z3"
|
||||
- bash: |
|
||||
source .azure/linux.bashrc
|
||||
stack setup --stack-yaml=stack-8.6.4.yaml
|
||||
stack install --stack-yaml=stack-8.6.4.yaml cabal-install-2.4.1.0
|
||||
cabal v1-update
|
||||
stack setup --stack-yaml=stack-8.2.2.yaml
|
||||
cabal v1-install liquidhaskell-0.8.2.4 --symlink-bindir=$HOME/.local/bin -w $(stack path --stack-yaml=stack-8.2.2.yaml --compiler-exe)
|
||||
stack install --resolver=lts-11.18 liquid-fixpoint-0.7.0.7 dotgen-0.4.2 fgl-visualize-0.1.0.1 located-base-0.1.1.1 liquidhaskell-0.8.2.4
|
||||
displayName: "Install Runtime Test-Dependencies: liquidhaskell"
|
||||
# - bash: |
|
||||
# source .azure/linux.bashrc
|
||||
|
@ -57,11 +57,7 @@ jobs:
|
||||
displayName: "Install Runtime Test-Dependencies: z3"
|
||||
- bash: |
|
||||
source .azure/macos.bashrc
|
||||
stack setup --stack-yaml=stack-8.6.4.yaml
|
||||
stack install --stack-yaml=stack-8.6.4.yaml cabal-install-2.4.1.0
|
||||
cabal v1-update
|
||||
stack setup --stack-yaml=stack-8.2.2.yaml
|
||||
cabal v1-install liquidhaskell-0.8.2.4 --symlink-bindir=$HOME/.local/bin -w $(stack path --stack-yaml=stack-8.2.2.yaml --compiler-exe)
|
||||
stack install --resolver=lts-11.18 liquid-fixpoint-0.7.0.7 dotgen-0.4.2 fgl-visualize-0.1.0.1 located-base-0.1.1.1 liquidhaskell-0.8.2.4
|
||||
displayName: "Install Runtime Test-Dependencies: liquidhaskell"
|
||||
# - bash: |
|
||||
# source .azure/macos.bashrc
|
||||
|
@ -51,18 +51,13 @@ jobs:
|
||||
stack exec --stack-yaml $(YAML_FILE) hoogle generate
|
||||
displayName: Build Test-dependencies
|
||||
- bash: |
|
||||
# TODO: try to install automatically (`choco install z3` fails)
|
||||
mkdir -p /usr/local
|
||||
curl -L https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-win.zip -o /usr/local/z3.zip
|
||||
unzip -o /usr/local/z3.zip -d /usr/local/
|
||||
# TODO: try to install automatically (`choco install z3` fails and pacman is not installed)
|
||||
curl -sSkL http://repo.msys2.org/mingw/x86_64/mingw-w64-x86_64-z3-4.8.5-1-any.pkg.tar.xz -o /mingw64/z3.tar.xz
|
||||
tar xf /mingw64/z3.tar.xz -C /
|
||||
displayName: "Install Runtime Test-Dependencies: z3"
|
||||
- bash: |
|
||||
source .azure/windows.bashrc
|
||||
curl -L https://downloads.haskell.org/cabal/cabal-install-$CABAL_VERSION/cabal-install-$CABAL_VERSION_FULL.zip -o $LOCAL_BIN_PATH/cabal-$CABAL_VERSION.zip
|
||||
unzip -o $LOCAL_BIN_PATH/cabal-$CABAL_VERSION.zip -d $LOCAL_BIN_PATH
|
||||
cabal v1-update
|
||||
stack setup --stack-yaml=stack-8.2.2.yaml
|
||||
cabal v1-install liquidhaskell-0.8.2.4 --symlink-bindir=$LOCAL_BIN_PATH -w $(stack path --stack-yaml=stack-8.2.2.yaml --compiler-exe)
|
||||
stack install --resolver=lts-11.18 liquid-fixpoint-0.7.0.7 dotgen-0.4.2 fgl-visualize-0.1.0.1 located-base-0.1.1.1 liquidhaskell-0.8.2.4
|
||||
displayName: "Install Runtime Test-Dependencies: liquidhaskell"
|
||||
# - bash: |
|
||||
# source .azure/windows.bashrc
|
||||
|
@ -1,5 +1,3 @@
|
||||
export STACK_ROOT="C:\\sr"
|
||||
export LOCAL_BIN_PATH=$(cygpath $APPDATA\\local\\bin)
|
||||
export PATH=$LOCAL_BIN_PATH:$PATH
|
||||
export CABAL_VERSION=2.4.1.0
|
||||
export CABAL_VERSION_FULL=$CABAL_VERSION-x86_64-unknown-mingw32
|
||||
|
Loading…
Reference in New Issue
Block a user