Skip to content

Commit

Permalink
Use --with-private-runtime on AppVeyor
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Mar 28, 2018
1 parent 4656059 commit 84856a8
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion appveyor_build.cmd
Original file line number Diff line number Diff line change
Expand Up @@ -154,7 +154,9 @@ if "%OCAML_PORT%" equ "" (
)
set LIB_EXT=
if "%DEP_MODE%" equ "lib-ext" set LIB_EXT=^&^& make lib-ext
"%CYG_ROOT%\bin\bash.exe" -lc "cd $APPVEYOR_BUILD_FOLDER %LIB_PKG% && ./configure %LIB_EXT% && make opam %POST_COMMAND%" || exit /b 1
set PRIVATE_RUNTIME=
if "%OCAML_PORT:~0,5%" equ "mingw" set PRIVATE_RUNTIME=--with-private-runtime
"%CYG_ROOT%\bin\bash.exe" -lc "cd $APPVEYOR_BUILD_FOLDER %LIB_PKG% && ./configure %PRIVATE_RUNTIME% %LIB_EXT% && make opam %POST_COMMAND%" || exit /b 1
goto :EOF

:test
Expand Down

0 comments on commit 84856a8

Please sign in to comment.