Replace FMILibrary patch command with more robust version
Use git apply
instead of patch
, due to the following reasons:
- more robust whitespace handling (Windows vs. Linux)
-
git apply
is guaranteed to be available when a user already cloned a repo with git (this is not the case for thepatch
command, which has to be installed separately)