Gnocchi di patate con zucchine

Ingredienti

• Per gli gnocchi
• 1 kg di patate
• 300 grammi di semola
• 1 uovo intero
• Per il condimento
• 2 zucchine di media grandezza;
• mezza cipolla;
• 1 spicchio d'aglio;
• 1 ciuffo di prezzemolo;
• 1 cucchiaio d'olio;
• 2 pomodori freschi;
• alcune foglioline di menta;
• un mazzetto di basilico;
• 30 grammi di pinoli;
• parmigiano grattugiato.