====== Installing ACT tools on Microsoft Windows ======
Even though most of the users install ACT tools in a Linux environment, some users may want to run them on Microsoft Windows. There are many options for running Linux software on Windows, for example, virtual machines, Cygwin, etc. A convenient way to run ACT tools on Windows is through [[https://docs.microsoft.com/en-us/windows/wsl|Windows Subsystem for Linux 2 (WSL2)]]. It allows you to install a complete Linux terminal environment and run your preferred distribution within Windows.

==== Prerequisites: ====
You must be running Windows 10 version 2004 and higher (Build 19041 and higher) or Windows 11. For older version of Windows, refer to instruction on manual installation [[https://docs.microsoft.com/en-us/windows/wsl/install-manual|here]].


==== Installation: ====
To install everything, run this command in PowerShell or Windows Command Prompt as administrator:
<code>
> wsl --install
</code>

This command installs WSL2 with latest Linux kernel and Ubuntu Linux distribution. You can specify your preferred Linux distribution using command:
<code>
> wsl --install -d <Distro>
</code>

As of now, these are the available distributions:
  * Ubuntu
  * OpenSUSE
  * SUSE Linux Enterprise Server (SLES)
  * Kali Linux
  * Debian GNU/Linux

Once the installation is finished, you will need to create a username and password (this does not need to match your Windows user credentials). 

After this, ACT tools can be installed in WSL2 by following steps described [[https://avlsi.csl.yale.edu/act/doku.php?id=install|here]].


==== Installing support for GUI applications ====
Support for GUI application is not included yet in the WSL2. You can install some third-party X server or [[https://mobaxterm.mobatek.net/|MobaXterm]] which includes an X server along with many other tools. The MobaXterm allows you to run multiple sessions of the WSL-Ubuntu along with embedded X server.

==== File storage ====
You can find your computer drives mounted in ''/mnt''. For better performance, Microsoft recommends storing your files in the WSL file system if you plan to use them in a Linux terminal.  

==== Eclipse IDE ====
Once WSL-Ubuntu and ACT tools are installed, they can be used with Eclipse (installed on Windows) to provide an ACT development environment in Windows. Here, eclipse terminal uses previously installed wsl2 command line terminal.
{{ act-windows-eclipse.jpg | ACT Eclipse}}