Installation from GitHub on Cygwin64

Note: Singular release 4.0.2 is available as package on both 32 bit and 64 bit Cygwin.

https://cygwin.com/ml/cygwin-announce/2015-05/msg00041.html

This page describes the installation of Singular from the latest sources from GitHub on Windows 64-bit systems using Cygwin64.

Use this if you need a feature introduced after the last release or if you want to develop for Singular.

This version of the instructions was tested on Windows 7 with Singular 4.0/Windows 10 with Singular 4.2

1. Run setup-x86_64.exe and install (in addition to the standard selection) the following packages (you will be asked to resolve dependencies, answer yes):

   a. Tools used to download Singular and other packages:

   git, wget

   b. Tools necessary to compile Singular:

   gcc-core, gcc-g++, automake, make, libtool, libreadline7, libreadline-devel

   c. Scientific libraries used by Singular:

   libgmp-devel, libmpfr-devel, mpfr, libntl-devel, cddlib-devel, libflint-devel, 'lib4ti2-devel'

2. Clone Singular from the git repository:

   Create a directory for the Singular binaries we use here Singular4 in your home directory:

   • cd /home
   • mkdir Singular4

   Create a directory for the Singular sources and a temporary directory for third party libraries we use here /home/git/Singular4 and /home/tmp:

   • mkdir tmp
   • mkdir git
   • cd git
   • mkdir Singular4
   • cd Singular4

   Download Singular from the git repository:

   • git clone https://github.com/Singular/Singular.git

   If you want to update to the latest version in the future use git pull and do step 4 (compiling Singular) again.

3. Compile Singular:

   We include all (usually dynamic) modules.

   • cd Singular
   • ./autogen.sh
   • ./configure -C --enable-gfanlib --disable-p-procs-dynamic --enable-p-procs-static --with-builtinmodules=gfanlib,gitfan,interval,loctriv,partialgb,syzextra,customstd,cohomo,subsets,freealgebra,systhreads --without-python --without-pythonmodule
   • for a statically linked binary of Singular, use the followowing additinal configure option: --disable-shared
   • for a dynamically linked binary of Singular, use the followowing additinal configure options: --disable-static --disable-cf-inline
   • make install

4. Run the Singular binary (this should now be located in the folder /usr/local/bin in your home directory):

   • Singular