diff options
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 |