Istruzioni per la libreria libce

(Sistemi Ubuntu) Installare il supporto per la compilazione a 32 bit:

	sudo apt update
	sudo apt install build-essential gcc-multilib g++-multilib

I seguenti comandi devono essere eseguiti come utente semplice, non come amministratore.

Aprire un emulatore di terminale e scaricare i sorgenti della libreria:

	wget https://calcolatori.iet.unipi.it/resources/libce-3.0.5.tar.gz

Scompattarli:

	tar xvzf libce-3.0.5.tar.gz

Compilare e installare la libreria:

	cd libce-3.0.5
	make
	make install

Questo comando installa anche gli script compile, boot e debug. Per usarli comodamente, però, è necessario aggiungere la directory $HOME/CE/bin alla propria variable PATH. Per esempio, in un sistema Debian/Ubuntu con shell di default (bash), si può eseguire (una sola volta) questo comando:

	echo 'PATH=$HOME/CE/bin:$PATH' >> ~/.bashrc

In questo modo il comando che modifica PATH viene aggiunto in fondo al file .bashrc nella propria home, e verrà eseguito dalla shell ogni volta che aprite un nuovo terminale.