Fondamenti di Informatica

Introduzione agli strumenti di sviluppo per programmi complessi
I compilatori della famiglia GCC
- Compilazione di C/C++/Java
- Opzioni di base dei compilatori
Automatizzazione del processo di compilazione con make
- Il problema delle dipendenze
- Struttura di un makefile
- Regole, comandi, variabili
- Regole implicite
- Opzioni del comando make
Configurazione con autotools
- Panoramica sulle soluzioni obsolete
- Introduzione ad autoconf ed automake
- Struttura di configure.ac
- Struttura di un Makefile.am
- Organizzazione del progetto in directories
- Verifica di installazione di librerie
- Verifica delle caratteristiche del compilatore e dell'ambiente di compilazione
- Opzioni specificate dall'utente: --enable-* e --with-*
- Accesso alle definizioni
- Compilazione condizionale: di parti del sorgente, di un gruppo di files, di directories
- Specifica e verifica dell'installazione e della distribuzione
- Generazione di file di configurazione per un pacchetto con pkg-config
Debugging e profiling
- Aggiunta delle opzioni per il debugging
- Preparazione del codice sorgente per il debugging
- Uso del debugger gdb
- Aggiunta delle opzioni per il profiling
- Generazione ed interpretazione delle tabelle di profiling
Creazione di librerie
- Creazione di librerie statiche e dinamiche
- Librerie temporanee
- Installazione di librerie
Esercitazioni