diff options
| author | Maxime Dénès | 2017-06-26 08:01:03 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-26 08:02:25 +0200 |
| commit | e6e0298999a93c7390ed8ba232f1de295378ea7e (patch) | |
| tree | 8db01fd2ae038dc855be84c26cb6f7225c193326 /dev | |
| parent | 80d107005be955abc5b7605e803f1b21451618d0 (diff) | |
Fix libpcre dependency issue under Windows.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/build/windows/makecoq_mingw.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index 44cf69b227..13ce197bca 100644 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -1002,6 +1002,7 @@ function copy_coq_dlls { copy_coq_dll LIBPANGO-1.0-0.DLL copy_coq_dll LIBPANGOCAIRO-1.0-0.DLL copy_coq_dll LIBPANGOWIN32-1.0-0.DLL + copy_coq_dll libpcre-1.dll copy_coq_dll LIBPIXMAN-1-0.DLL copy_coq_dll LIBPNG16-16.DLL copy_coq_dll LIBXML2-2.DLL @@ -1010,7 +1011,6 @@ function copy_coq_dlls { # Depends on if GTK is built from sources if [ "$GTK_FROM_SOURCES" == "Y" ]; then copy_coq_dll libiconv-2.dll - copy_coq_dll libpcre-1.dll else copy_coq_dll ICONV.DLL copy_coq_dll LIBBZ2-1.DLL |