Board 'de1soc' not found.

Thanks for the reply, I used the "--board" switch as you suggested and compilation started. But this time I have another error, it says: "Error: Qsys-script FAILED.". I looked at the log file and there is the same error for different examples (boardtest, hello_world, etc.). There writes: "Error: add_connection acl_iface.kernel_irq boardtest_system.kernel_irq: No interface named acl_iface.kernel_irq."