Compiling C from SSH using GCC

I can't remember the file but if you do a recursive grep in /etc(I believe though I may be wrong) for -lkovan there is a file with the command line options for compilation.

For future reference, I got it working and wrote a piece of software in python to do it for me: https://github.com/Fletcher-Robotics/Botball2014/blob/master/autocompile...
Just in case the link goes down, here's an example:

gcc -include stdio.h -include kovan/kovan.h -c bbstd.c
gcc -include stdio.h -include kovan/kovan.h -include target.h -c test.c
gcc -o test *.o -lkovan -lm -lpthread

Where bbstd.c is a library file and test.c is the file we want to run (the one with main in it)

Why don´t you use a simple Makefile? I think this would be much easier than using complex scripts.

Don't have experience with makefiles. It's easier to use technology you already know. Plus, it didn't occur to me.

there is a file with the command line options for compilation.

This is a very good post which I really enjoy reading. It is not every day that I have the possibility to see something like this.
get help with file explorer in windows 10