Original bug ID: 7615
Reporter: schommer
Assigned to: @dra27
Status: resolved (set by @xavierleroy on 2017-10-09T18:26:12Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.05.0
Fixed in version: 4.06.0 +dev/beta1/beta2/rc1
Category: platform support (windows, cross-compilation, etc)
Monitored by: @gasche

Bug description

I'm unable to compile ocaml with the latest visual studio 2017 release. The problem seems to be that the generated: dyndll_implib.lib is a not a valid file. During the linking of for example the unix library the following error is reported:

../../boot/ocamlrun ../../tools/ocamlmklib -oc unix accept.obj bind.obj channels.obj close.obj close_on.obj connect.obj createprocess.obj dup.obj dup2.obj errmsg.obj getpeername.obj getpid.obj getsockname.obj gettimeofday.obj link.obj listen.obj lockf.obj lseek.obj nonblock.obj mkdir.obj open.obj pipe.obj read.obj readlink.obj rename.obj select.obj sendrecv.obj shutdown.obj sleep.obj socket.obj sockopt.obj startup.obj stat.obj symlink.obj system.obj times.obj unixsupport.obj windir.obj winwait.obj write.obj winlist.obj winworker.obj windbug.obj access.obj addrofstr.obj chdir.obj chmod.obj cst2constr.obj cstringv.obj envir.obj execv.obj execve.obj execvp.obj exit.obj getaddrinfo.obj getcwd.obj gethost.obj gethostname.obj getnameinfo.obj getproto.obj getserv.obj gmtime.obj putenv.obj rmdir.obj socketaddr.obj strofaddr.obj time.obj unlink.obj utimes.obj -ldopt ws2_32.lib -ldopt advapi32.lib -v

• ....\boot\ocamlrun ....\flexdll\flexlink.exe -x64 -merge-manifest -stack 33554432 -o .\dllunix.dll accept.obj bind.obj channels.obj close.obj close_on.obj connect.obj createprocess.obj dup.obj dup2.obj errmsg.obj getpeername.obj getpid.obj getsockname.obj gettimeofday.obj link.obj listen.obj lockf.obj lseek.obj nonblock.obj mkdir.obj open.obj pipe.obj read.obj readlink.obj rename.obj select.obj sendrecv.obj shutdown.obj sleep.obj socket.obj sockopt.obj startup.obj stat.obj symlink.obj system.obj times.obj unixsupport.obj windir.obj winwait.obj write.obj winlist.obj winworker.obj windbug.obj access.obj addrofstr.obj chdir.obj chmod.obj cst2constr.obj cstringv.obj envir.obj execv.obj execve.obj execvp.obj exit.obj getaddrinfo.obj getcwd.obj gethost.obj gethostname.obj getnameinfo.obj getproto.obj getserv.obj gmtime.obj putenv.obj rmdir.obj socketaddr.obj strofaddr.obj time.obj unlink.obj utimes.obj ws2_32.lib advapi32.lib -LR:\usr\20170829\130101\release\win64\lib\ocaml\flexdll
  Bibliothek "D:\cygdrive\tmp\dyndll_implib25d6f4.lib" und Objekt "D:\makefactory\d633fcee-7987-486e-808e-e1b5081ae129\tmp\dyndll_implib25d6f4.exp" werden erstellt.
  D:\makefactory\d633fcee-7987-486e-808e-e1b5081ae129\tmp\dyndll_implib25d6f4.lib : fatal error LNK1136: illegal or corrupt file.
  ** Fatal error: Error during linking

Steps to reproduce

Happens during execution of make world.