Patch for Makefile

In case you are having problems executing make, i.e., you receive some error messages, you can try to modify the Makefile. Particularly, if you’re trying to build the code on a Windows machine.

In line 12 of the Makefile replace the line

FILES=$(shell find src -name '*.c')

by

FILES=$(wildcard src/*.c)


Categories: ["teaching", "ss23", "dissys"]