Tutorial : FriCAS build and install on Windows 10 with WSL
28 views
Skip to first unread message
Grégory Vanuxem
Mar 21, 2020, 1:43:12 PM3/21/20
to fricas...@googlegroups.com
On Windows 10
1) First you need the additional "Windows subsystem for Linux" functionality.
In the start menu => parameters/settings:
search for configuration panel via text search.
A simpler way is to directly search it with the Windows Search in the task bar.
In programs->additional functionalities add WSL (Windows Subsystem for Linux). You will presumably need to restart.
2) Add your Linux distribution
In the Windows Store search for Linux. Different distributions are available (Ubuntu, Kali, Suse...). Personally I use Kali which is a rolling pentesting distribution based on Debian. Install it (the next steps should be the same for the Ubuntu distribution).
3) Start Linux and make it ready to build FriCAS
Start Linux via the start menu or via Windows Search.
Make it up to date so in the terminal window:
sudo apt update && sudo apt dist-upgrade
After install the necessary tools to build FriCAS (in Ubuntu for WSL FriCAS may be directly available via apt, I don't know).
Install SBCL, gcc, make and gettext:
sudo apt install sbcl gcc make gettext
if you want to build FriCAS from scratch i.e. without pre-generated lisp files install 'diffutils' too. This is not necessary though.
If you want native support of multiprecision arithmetic with GMP add 'libgmp-dev'.
4) Build, test and install FriCAS like in a native Linux (without X here).
In an empty directory configure the build process:
../path to fricas source code directory/configure --prefix=*WhereYouWant*
with '--enable-gmp' for GMP support.
For more info see INSTALL file.
Build FriCAS:
make
Test it:
cd src/input
make regress
If all is good 'cd ../.. && make install' should do the trick.
1) First you need the additional "Windows subsystem for Linux" functionality.
In the start menu => parameters/settings:
search for configuration panel via text search.
A simpler way is to directly search it with the Windows Search in the task bar.
In programs->additional functionalities add WSL (Windows Subsystem for Linux). You will presumably need to restart.
2) Add your Linux distribution
In the Windows Store search for Linux. Different distributions are available (Ubuntu, Kali, Suse...). Personally I use Kali which is a rolling pentesting distribution based on Debian. Install it (the next steps should be the same for the Ubuntu distribution).
3) Start Linux and make it ready to build FriCAS
Start Linux via the start menu or via Windows Search.
Make it up to date so in the terminal window:
sudo apt update && sudo apt dist-upgrade
After install the necessary tools to build FriCAS (in Ubuntu for WSL FriCAS may be directly available via apt, I don't know).
Install SBCL, gcc, make and gettext:
sudo apt install sbcl gcc make gettext
if you want to build FriCAS from scratch i.e. without pre-generated lisp files install 'diffutils' too. This is not necessary though.
If you want native support of multiprecision arithmetic with GMP add 'libgmp-dev'.
4) Build, test and install FriCAS like in a native Linux (without X here).
In an empty directory configure the build process:
../path to fricas source code directory/configure --prefix=*WhereYouWant*
with '--enable-gmp' for GMP support.
For more info see INSTALL file.
Build FriCAS:
make
Test it:
cd src/input
make regress
If all is good 'cd ../.. && make install' should do the trick.
More later for X (hypertex and graphics)
Cheers,
Greg
Grégory Vanuxem
Mar 22, 2020, 6:24:36 AM3/22/20
to fricas...@googlegroups.com
Hello,
I continue this tutorial but now with Xorg support, that is with GUI
(Graphical User Interface) support.
1) Use the steps in the precedent mail to install WSL and Debian/Kali/Ubuntu/Suse/etc.
(whatever you want). Here the procedure is based on Debian like systems (Debian/Kali/Ubuntu). Update
the packages base and upgrade them all with 'sudo apt dist-upgrade'.
2) Install a Windowed environment i.e. Xorg and a Window Manager (Mate, XFE4 etc..)
For example:
sudo apt install mate
Alternatively,
sudo apt install xfce4
3) Install necessary stuff to build FriCAS with GUI support
You only need to additionally install development files of Xorg and a RDP (Remote Desktop Protocol)
server. The method used here is to connect to the Linux RDP server from
Windows via the remote desktop application in Accessories (start menu or
Windows Search)
sudo apt install sbcl gcc make gettext xorg-dev xrdp libgmp-dev
5) Start the RDP server
First you need to change the default port which is usually used from 3389 to
3390:
Edit /etc/xrdp/xrdp.ini:
sudo nano /etc/xrdp/xrdp.ini
Change the port to 3390
sudo /etc/init.d/xrdp start
7) Start the Windows remote application and log in GUI Linux
In Windows Search or Start menu/Accessories start the remote desktop
application and use as computer "localhost:3390".
Modify advanced options if necessary to you. Leave user empty.
Accept all security questions, you will have the X logging interface where you
can enter your Linux login and password. If it's the first time you're logging
in wait a little.
After in a terminal start 'fricas' or 'efricas' if you have Emacs.
I continue this tutorial but now with Xorg support, that is with GUI
(Graphical User Interface) support.
1) Use the steps in the precedent mail to install WSL and Debian/Kali/Ubuntu/Suse/etc.
(whatever you want). Here the procedure is based on Debian like systems (Debian/Kali/Ubuntu). Update
the packages base and upgrade them all with 'sudo apt dist-upgrade'.
2) Install a Windowed environment i.e. Xorg and a Window Manager (Mate, XFE4 etc..)
For example:
sudo apt install mate
Alternatively,
sudo apt install xfce4
3) Install necessary stuff to build FriCAS with GUI support
You only need to additionally install development files of Xorg and a RDP (Remote Desktop Protocol)
server. The method used here is to connect to the Linux RDP server from
Windows via the remote desktop application in Accessories (start menu or
Windows Search)
sudo apt install sbcl gcc make gettext xorg-dev xrdp libgmp-dev
4) Build and install FriCAS like the precedent mail
If you want to use TeX, LaTeX etc. the TeX Live distribution is available (texlive).
5) Start the RDP server
First you need to change the default port which is usually used from 3389 to
3390:
Edit /etc/xrdp/xrdp.ini:
sudo nano /etc/xrdp/xrdp.ini
Change the port to 3390
Start it:
7) Start the Windows remote application and log in GUI Linux
In Windows Search or Start menu/Accessories start the remote desktop
application and use as computer "localhost:3390".
Modify advanced options if necessary to you. Leave user empty.
Accept all security questions, you will have the X logging interface where you
can enter your Linux login and password. If it's the first time you're logging
in wait a little.
After in a terminal start 'fricas' or 'efricas' if you have Emacs.
That's all!
Attached are links to public screen captures from my Google Drive :
XFCE4 in a Window on top of Windows Desktop:
Mate in full screen mode with Windows taskbar
Mate in full screen mode (graphic, hypertex, FriCAS in Emacs etc.) attached via Google Drive.
Cheers,
_
Greg
Ralf Hemmecke
Mar 22, 2020, 6:49:35 AM3/22/20
to fricas...@googlegroups.com
Hi Greg,
I cannot reproduce, since I have not Windows machine, but a big THANKS
for you installation guide.
Ralf
I cannot reproduce, since I have not Windows machine, but a big THANKS
for you installation guide.
Ralf
Grégory Vanuxem
Mar 22, 2020, 7:42:33 AM3/22/20
to fricas...@googlegroups.com
You're welcome.
And I know you're using Linux 😉
--
You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/2f0d2a4e-0813-adb7-0a70-a0279d9de6d3%40hemmecke.org.
Reply all
Reply to author
Forward
0 new messages