Installation from sources 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
  • sources/Singular4
  • sources/Singular4/flint
  • sources/Singular4/4ti2

• Download if not exists:

  • Singular into the directory singular-4.0.0 in sources/Singular4
  • Flint into the directory flint-2.4 in sources/Singular4/flint
  • 4ti2 into sources/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