Private repositories of SML# are provided for CentOS 7 and CentOS 8. Add one of these repositoriers to your system, and you can install and update SML# by yum or dnf command.

Do the following commmands to set up the SML# compiler.

• •

  CentOS 8:

  rpm -i https://github.com/smlsharp/repos/raw/main/centos/smlsharp-release-centos-8-0.noarch.rpm
  dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

• •

  CentOS 7:

  yum install epel-release
  rpm -i https://github.com/smlsharp/repos/raw/main/centos/smlsharp-release-centos-7-0.noarch.rpm
  yum install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

The commands are similar to those for Fedora except for the following points.

• •

  On CentOS 7, the epel-release package must be installed prior to installing SML#.

See Section 5.4 for details of other commands.