Installation from GitHub on Debian via Shell Script

The shell script for Debian based systems (run at your own risk) will do the following (once it finishes you can start Singular by doing in your home directory Singular4/bin/Singular):

• Install the required packages (requires sudo).

• If not exist, create inside you home directory directories:

  • Singular4
  • tmp
  • git/Singular4
  • git/Singular4/flint
  • git/Singular4/4ti2

• Download (or update if exist):

  • Singular via git into the directory Sources in git/Singular4
  • Flint via git into the directory flint2 in git/Singular4/flint

• Download if not exists:

  • 4ti2 into git/Singular4/4ti2/4ti2-1.6

• If a file tmp/lib/libflint.so exists, delete it to make Singular include flint statically

• Compile (and write some log files into tmp):

  • 4ti2 and install into standard system locations (requires sudo)
  • Flint and install into tmp
  • Singular and install into Singular4