Using SoC Interrupts, Timer, ... MakeFile Error / Question

Hello! I am trying to use the interrupts from FPGA to HPS (for example with the buttons of the Cyclone V Board etc). At first I was not able to get the compilation with the makefile to work, si...