flatcc/portable/paligned_alloc.h is a very new feature added at the same time another used helped testing on AIX PowerPC so either we missed something in the process, or more likely, your system configuration is different. The AIX test setup used C99, so perhaps -stdc=c99 will do the job?
You could also try to to define PORTABLE_NO_POSIX_MEMALIGN
There should be a fallback solution, though not well tested.
paligned_alloc.h could be updated with tests for your system if you are able to provide it.
In more detail, aligned_alloc either relies on C11 aligned_alloc (but no clib seems to support it yet), or use the posix_memalign (in the mm header you are missing), or use a fallback overallocation with enough space for manual alignment (which is not detected for your platform), or use the Windows _aligned_alloc (which is not relevant for you).
There is also an option to extend paligned_alloc.h with a non-posix memalign function, but it is very system specific and the free operation is no well defined so it must be done on a case by case basis.
It is likely you will encounter other issues with vxworks, but it is very likely these can be fixed by enhancing the portable library.