Installation from GitHub on Cygwin32 - BrentBaccala/Singular GitHub Wiki

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

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

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.

  1. Run setup-x86.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, libreadline-devel

    c. Scientific libraries used by Singular:

    libgmp-devel, libmpfr-devel, mpfr, libflint-devel, libntl-devel, cddlib-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 6 (compiling Singular) again.

    Although you can now compile Singular, we strongly recommend to install some more scientific packages (otherwise some features will not be available).

  3. Compile Singular:

    We include all (usually dynamic) modules.

    • cd Sources
    • ./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
    • make -j 2
    • make install
  4. Run the Singular binary (this should now be located in the folder /usr/local/bin in your home directory):

    • Singular
  5. If you want to use the plotting tools Surfer and Surf follow these instructions.