diff options
author | David Allsopp <david.allsopp@metastack.com> | 2017-08-28 09:31:54 +0100 |
---|---|---|
committer | Mark Shinwell <mshinwell@gmail.com> | 2017-08-28 09:31:54 +0100 |
commit | 155335d3639b943ac65a3bdf242b7dd2744c81f5 (patch) | |
tree | 66d471e7f2573761025380887475e64f1eddc651 /appveyor.yml | |
parent | 7a315bdb5e66bffdd7cef536373a2e0b753d1b7f (diff) | |
download | ocaml-155335d3639b943ac65a3bdf242b7dd2744c81f5.tar.gz |
Use Git's unzip rather than 7zip on AppVeyor (#1303)
Diffstat (limited to 'appveyor.yml')
-rw-r--r-- | appveyor.yml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/appveyor.yml b/appveyor.yml index fbdb79ad7b..18e6c6dc86 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -42,10 +42,9 @@ install: - mkdir "%OCAMLROOT%/bin/flexdll" - appveyor DownloadFile "http://alain.frisch.fr/flexdll/flexdll-bin-0.35.zip" -FileName "flexdll.zip" - appveyor DownloadFile "http://alain.frisch.fr/flexdll/flexdll-0.35.tar.gz" -FileName "flexdll.tar.gz" - - cinst 7zip.commandline - - mkdir flexdll-tmp - - cd flexdll-tmp - - 7za x -y ..\flexdll.zip + - mkdir C:\projects\flexdll-tmp + - cd C:\projects\flexdll-tmp + - unzip -q /c/projects/ocaml/flexdll.zip - for %%F in (flexdll.h flexlink.exe default_amd64.manifest) do copy %%F "%OCAMLROOT%\bin\flexdll" - cd .. # Make sure the Cygwin path comes before the Git one (otherwise |