In the event you want to add your own
*.c source code, open
Makefile.build in your Pintos root directory and add the file to either the
userprog_SRC variable depending on where the files are located.
If you want to add your own tests, place the test files in
tests/userprog/. Then, edit
tests/userprog/Make.tests to incorporate your tests into the build system.
Make sure to re-run
make from the
userprog directory after adding your files. If your new file doesn’t get compiled, run
make clean and try again. Note that adding new
*.h files will not require any changes to makefiles.
userprog in the above instructions if appropriate.