User Tools

Site Tools


manual:microboot

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
manual:microboot [2019/09/24 22:03]
127.0.0.1 external edit
manual:microboot [2021/01/08 16:06]
voorburg [Building Microboot from sources]
Line 31: Line 31:
 ===== Building Microboot from sources ===== ===== Building Microboot from sources =====
  
-The free and open source [[https://​www.lazarus-ide.org/​|Lazarus IDE]] was used to develop MicroBoot. To install the Lazarus IDE, point your browser to its project page on [[https://​sourceforge.net/​projects/​lazarus/​files/​|SourceForge]]. Windows users can download the 32-bit installer from there. For Linux users, DEB and RPM packages are provided. However, it is recommended to install the version of the Lazarus IDE that is offered in the package repositories of your Linux distribution. Here are the installation instructions for most popular Linux distributions:​+The free and open source [[https://​www.lazarus-ide.org/​|Lazarus IDE]] was used to develop MicroBoot. To install the Lazarus IDE, point your browser to its project page on [[https://​sourceforge.net/​projects/​lazarus/​files/​|SourceForge]]. Windows users should ​download the *32-bit installerfrom there. For Linux users, DEB and RPM packages are provided. However, it is recommended to install the version of the Lazarus IDE that is offered in the package repositories of your Linux distribution. Here are the installation instructions for most popular Linux distributions:​
  
   * **Debian**: <​code>​sudo apt install make gdb fpc fpc-source lazarus</​code>​   * **Debian**: <​code>​sudo apt install make gdb fpc fpc-source lazarus</​code>​
manual/microboot.txt ยท Last modified: 2022/02/10 11:23 by voorburg