Nemo on Windows (32 and 64 bit)

340 views
Skip to first unread message

Bill Hart

unread,
Sep 14, 2014, 7:46:37 PM9/14/14
to flint-devel
Nemo now works natively on Windows (tested on Windows 64), with some preparation (see below).

The instructions are essentially the same as for Linux:

1) Install Julia 0.3 for Windows (either 32 or 64 bit):

http://julialang.org/downloads/

2) Install Nemo

Pkg.clone("https://github.com/wbhart/Nemo.jl.git")
Pkg.build("Nemo")
Pkg.test("Nemo")

Note the name of the git repository is now Nemo.jl.git, not Nemo.git as reported before. This is a Julia convention.

In order to prepare your system you have to do the following:

1) Remove all old versions of MSYS and Mingw from your system (Nemo will not work with msys 1.0).

To be sure, check that gcc, sh, m4, make and as, don't answer at the Windows command prompt (cmd.exe).

2) Install msys2 and mingw. The best instructions I know for doing this are on the Julia GitHub page:

https://github.com/JuliaLang/julia/blob/master/README.windows.md#compiling-with-mingwmsys2

You only need steps 1, 3 and 4 (you can do step 2 if you want Python, but it is not needed).

Don't skip the pacman steps! I also added autoconf, bash, flex, wget, vim, sed, tar to the list of packages I installed with pacman. You'll need some of these to get Nemo to install. Some are just useful.

If you install the 64 bit version of Julia (Windows 64) you will need to install mingw64 with the x86_64 version (not i686). Otherwise you will want mingw32.

3) Make sure msys2/mingw m4, sh, make, gcc etc are in your Windows PATH (Control Panel, system, advanced setting, environment variable).

On my system the relevant path was C:\msys64\mingw64\bin but it depends where you install everything, obviously.

Before Nemo will actually work, you will need to add it to your PATH. On my machine the path was C:\Users\user\.julia\v0.3\Nemo\src\lib
This should be the same for you with "user" replaced by your username. The path won't actually exist until you do Pkg.clone(...) from within Julia.

If you cannot get Nemo to work on your machine, it is unlikely we can help at this stage. We plan to release a binary version for Windows in the future which will be better supported and 100% easier to install. 

DLL's are a nightmare and old versions of mingw could be hiding anywhere. 

But if it works for you, enjoy!

http://www.flintlib.org/nemo.pdf
Reply all
Reply to author
Forward
0 new messages