And you are not running it inside the Cygwin shell now? If not, then I honestly don't know why this is happening. As Jeffrey says, it doesn't happen on his Windows. And no, you don't require the arb source code on Windows.
There does seem to be a problem on some versions of Windows whereby the .dll files are cached by the operating system, so that when you download them, it just gets them from cache and not from our website. I thought we fixed that issue, but maybe your Windows is particularly resistant to our fix. Try deleting all the .dll files in Nemo/local/lib and replacing them with the following files http://nemocas.org/binaries/w64-libflint.dll http://nemocas.org/binaries/w64-libgmp-10.dll http://nemocas.org/binaries/w64-libgmp-16.dll http://nemocas.org/binaries/w64-libmpfr-4.dll http://nemocas.org/binaries/w64-libpari.dll http://nemocas.org/binaries/w64-libarb.dll http://nemocas.org/binaries/w64-libwinpthread-1.dll Note that you will have to rename them all manually. You can see what they should be renamed to in build.jl. Of course I'm assuming you have 64 bit Windows. Otherwise you should replace all the w64's with w32 in the above. Bill. On 26 October 2016 at 21:17, digxx <diger_d...@hotmail.com> wrote: > > > Am Mittwoch, 26. Oktober 2016 20:51:48 UTC+2 schrieb Bill Hart: >> >> I mean as an environment variable, specifically PATH. Alternatively you >> can just remove the lines from Nemo/deps/build.jl that run git. The source >> code is not needed on Windows. We only download it for you to keep in the >> spirit of the LGPL license, i.e. to supply you the source code for the >> software you are using. >> >> Bill. >> > > Hey, > So I just removed the lines: > > #= > try > run(`git clone https://github.com/wbhart/antic.git` > <https://github.com/wbhart/antic.git>) > catch > cd(joinpath("$wdir", "antic")) > run(`git pull`) > end > > cd(wdir) > > # install FLINT > try > run(`git clone https://github.com/wbhart/flint2.git` > <https://github.com/wbhart/flint2.git>) > catch > cd(joinpath("$wdir", "flint2")) > run(`git pull`) > end > =# > > #= > try > run(`git clone https://github.com/fredrik-johansson/arb.git` > <https://github.com/fredrik-johansson/arb.git>) > catch > cd(joinpath("$wdir", "arb")) > run(`git pull`) > cd(wdir) > end > =# > > So u mean these are not needed for the installation of Nemo on windows??? > But the last one runs some arb sth...Dont I need it? > The building works now and I can run Nemo but I ask about the arb sth bcoz > now on the new Julia version I again get the error: > > julia> using Nemo > > Welcome to Nemo version 0.5.1 > > Nemo comes with absolutely no warranty whatsoever > > > julia> r=ArbField(64) > Real Field with 64 bits of precision and error bounds > > julia> r(1) > ERROR: error compiling ArbField: error compiling Type: could not load > library "libarb" > t > >
