ACL2s-installation-windows
Installation instructions for ACL2s on Windows
Description
To run ACL2s on Windows, we will use
WSL
(the Windows Subsystem for Linux). This allows us to run the
Linux version of Eclipse and ACL2s on Windows machines.
If you run into any issues, check out the ACL2s-installation-faq
topic.
Requirements
- at least 8GB of free hard drive space
- at least 4GB of RAM
- Windows 10 version 21H1 or greater. Windows 11 will also work.
Installation should take less than an hour, though installation time
will depend on your computer's specs and on the speed of your internet
connection. You can use your computer while the installation is
occurring.
Installing using the installer
The easiest way to install ACL2s on Windows is to use the installer.
A video walking through installation is available
here for Windows 10 and
here for Windows 11.
- If you are on Windows 11: Download the installer from here.
- If you are on Windows 10: Download the installer from here.
- Double click on the installer and allow the installer to run if Windows asks.
- Follow the steps that the installer specifies. If you don't have
VcXsrv installed and you are on Windows 10, the installer will ask you
whether you would like it to automatically download and install it for
you. You should do so and follow VcXsrv's installer as well,
remembering to click "close" inside VcXsrv's installer when that
installation is done. Windows 11 users don't need to install VcXsrv.
- Note that the installer will show a window that says "Importing WSL distribution file, this may take a while..." at some point during installation. This step may take between 5 and 30 minutes depending on your machine. Disabling any virus scanners may significantly speed this up.
- Create a folder for your CS2800 files on your C: drive.
- Open File Explorer, select "This PC" on the left, double click
on "Local Disk (C:)", right-click on an empty area inside of
that folder, and select "New Folder". Name the folder whatever
you would like.
- Run ACL2s
- Run ACL2s, by searching for and running "Start ACL2s" in the Windows start menu.
- When Eclipse asks for a workspace, enter /mnt/c/<FOLDER>,
where <FOLDER> should be replaced with the name of the folder
that you just created.
Manual install instructions
You almost certainly don't want to install ACL2s this way, but we provide instructions in case
you are in a particular situation that precludes the use of the above installer.
- Install WSL
- Open an administrator terminal (either CMD or Powershell). This
can be done by opening the Windows menu at the bottom left hand
side of the screen and searching for cmd. Then, right click
on the "Command Prompt" item and select "Run as administrator".
- Run dism.exe /online /enable-feature /featurename:Microsoft-Windows-Subsystem-Linux /all /norestart
- Run dism.exe /online /enable-feature /featurename:VirtualMachinePlatform /all /norestart
- Restart your computer. Select "Update and Restart" in the power menu if it appears.
- Reopen an administrator terminal as you did previously and run wsl --update
- Download and set up the ACL2s WSL image
- Download distro.tar.gz to your Downloads folder.
- Open up a new non-admininistrator terminal by opening the Windows
menu at the bottom left hand side of the screen and searching for
cmd.
- Run mkdir C:\wslDistroStorage
- Run wsl --import acl2s C:\wslDistroStorage\acl2s Downloads\distro.tar.gz. Note that this may take a while, somewhere between 5 and 15 minutes. Disabling any virus scanners may significantly speed this up.
- Run wsl -d acl2s and confirm that you get some output (e.g. not a blank line). If so, you can close the terminal. Note that this may take some time and you may see some errors about DISPLAY first.
- Install VcXsrv and launch it
- Download the installer
here
and run it.
- At the end of the installation process, uncheck the option to launch
VcXsrv after the installation is complete.
- Download our VcXsrv launch profile
here
and put it somewhere memorable. You may need to right-click on
the link and select "Save As..." if your browser doesn't
download it automatically.
- Double click on our VcXsrv launch profile to start VcXsrv. If
Windows asks you which networks you want to allow VcXsrv to
access, make sure you allow it to access both private and
public networks.Note that double clicking on acl2s-vcxsrv.xlaunch
will not open a new window. It will add an item to the system
tray on the right-hand side of the task bar, and you may need to click
on the up caret (^) to see it.
- Create a folder for your CS2800 files on your C: drive
- Open File Explorer, select "This PC" on the left, double click
on "Local Disk (C:)", right-click on an empty area inside of
that folder, and select "New Folder". Name the folder whatever
you would like.
- Run Eclipse
- Download run-acl2s-manual.bat and save it somewhere memorable. Note that depending on your browser, you might get a warning when you download this file, but you should click "Keep" or "Download Anyways".
- Double click on run-acl2s.bat to launch a WSL terminal and Eclipse. A window titled "Windows protected your PC" may appear. If so, click on "More info" and then "Run anyways" at the bottom of the window.
- When Eclipse asks for a workspace, enter /mnt/c/<FOLDER>,
where <FOLDER> should be replaced with the name of the folder
that you just created.
- Get started with Eclipse by working through the ACL2s-tutorial.
