sollya under cygwin 64

Under the cygwin 64  (http://www.cygwin.org/ - setup-x86_64.exe)

Known required packages (from package manager - setup-x86_64.exe):
  make        (used 4.0.2)
  gcc         (used 4.9.2)
  libxml2-dev (used 2.9.2-1)
  
These will have a number of dependent packages which the manager will ask if you want to install
as well...and of course it's yes.
  
Optional packages (from package manager - setup-x86_64.exe):
   gnuplot
   rlwrap
  
---------
Download the following source bundles:
gmp-6.0.0     (https://gmplib.org/)
mpfr-3.1.2    (http://www.mpfr.org/)
mpfi-1.5.1    (http://gforge.inria.fr/projects/mpfi)
fplll-4.0.4   (https://launchpad.net/ubuntu/+source/fplll/4.0.4-2 -- fplll_4.0.4.orig.tar.gz)
sollya-4.1    (http://sollya.gforge.inria.fr/)

for each bundle in the listed order:
1) configured with ./configure CFLAGS="-O3 -march=native -mtune=native" --disable-shared
   or replace -march & -mtune with whatever baseline machine you intend on using
2) make
3) make check
4) if no errors 'make install' and move to the next

-----
If you want to skip the configure/building process, then the following link has a binary configure for core2 
https://www.dropbox.com/s/eyjp1uyi5s0j9ea/sollya.7z?dl=0