Differences

This shows you the differences between two versions of the page.

Link to this comparison view

windows_build [2022/04/08 03:13]
prafull created
windows_build [2022/04/08 03:58] (current)
prafull
Line 2: Line 2:
 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. 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: ======+==== 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]]. 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: ======+ 
 +==== Installation: ====
 To install everything, run this command in PowerShell or Windows Command Prompt as administrator: To install everything, run this command in PowerShell or Windows Command Prompt as administrator:
 <code> <code>
Line 17: Line 18:
  
 As of now, these are the available distributions: As of now, these are the available distributions:
-* Ubuntu +  * Ubuntu 
-* OpenSUSE +  * OpenSUSE 
-* SUSE Linux Enterprise Server (SLES) +  * SUSE Linux Enterprise Server (SLES) 
-* Kali Linux +  * Kali Linux 
-* Debian GNU/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).  Once the installation is finished, you will need to create a username and password (this does not need to match your Windows user credentials). 
Line 27: Line 28:
 After this, ACT tools can be installed in WSL2 by following steps described [[https://avlsi.csl.yale.edu/act/doku.php?id=install|here]]. 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 ======+ 
 +==== 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. 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 ======+==== 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.   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}}