Installation FreeBSD

Version 9 by Stephane Carrez

Installation FreeBSD 13

Date: 2021-07-14

pkg install jed
pkg install sudo bash tcpdump
pkg install gmake
pkg install autoconf-2.69_3
pkg install wget
pkg install git
pkg install gnupg
pkg install gcc
pkg install openjdk11-jre-11.0.11+9.1

Add the following lines in /etc/fstab:

fdesc   /dev/fd         fdescfs         rw      0       0
proc    /proc           procfs          rw      0       0

And mount everything:

mount -a

Ada Development setup

pkg install gprbuild-20160609_1
pkg install gcc6-aux-20180516_2,1
pkg install xmlada-17.0.0_2
pkg install zip-ada-55
pkg install gdb

Ada Web Application setup

pkg install lzma
pkg install sqlite3
pkg install postgresql14-client postgresql14-server
pkg install mariadb105-client-10.5.11 mariadb105-server-10.5.11 mariadb-connector-c-3.1.10
pkg install ImageMagick7-nox11-

Add the following line in /etc/rc.conf:


Run Postgresql init table:

/usr/local/etc/rc.d/postgresql initdb

Start MySQL:

/usr/local/etc/rc.d/mysql-server onestart
export PATH=/usr/local/gcc6-aux/bin:$PATH
export ADA_PROJECT_PATH=/usr/local/lib/gnat

Desktop setup

After Desktop installation, PC may not boot and the following command helps:

gpart set -a active /dev/ada0

Install common applications:

pkg install firefox libreoffice okular inkscape

Install Intellij

Install Intellij

pkg install openjdk8
pkg install intellij

Wireless setup

Edit /etc/wpa_supplicant.conf and add the wireless network config:


Identify the network card:

# sysctl net.wlan.devices
net.wlan.devices: iwn0

Setup the network configuration for the driver:

ifconfig_wlan0="WPA SYNCDHCP"

Restart the network:

service netif restart

See FreeBSD Wireless setup

Linux Compatibility

See FreeBSD Chapter 10. Linux Binary Compatibility

Add in /etc/rc.conf:


and start with:

sudo service linux start

Install the debootsrap:

sudo pkg install debootstrap
sudo debootstrap focal /compat/ubuntu.

Add the line in /etc/sysctl.conf:


and configure with:

sudo sysctl -f /etc/sysctl.conf

Mark the binary as Linux:

brandelf -t Linux ada_language_server

Replace the symbolic link /compat/ubuntu/lib64/ to a real file otherwise the Linux linker is not found by the kernel.