Unfold Colored Nets

[yrke]

Part of the color work at https://code.launchpad.net/~tapaal-contributor/tapaal/cpn-gui-dev/+merge/404184

(Check for updates TAPAAL-Developers/verifydtapn@unfoldColor...PeterHaahrTaankvist:unfolding_library)

[petergjoel]

remove

[petergjoel]

It's not perfect, but it does the job.

[srba]

Why the Cmake file changes the compatibility for Mac from 10.8 to

-mmacosx-version-min=11.2

This will not work on my OSX that people are still running?

[yrke]

Why the Cmake file changes the compatibility for Mac from 10.8 to -mmacosx-version-min=11.2

We should really make this a variable to that it can be set when configuring cmake.

But to answer question, the version needs to match whatever SDK is available on the github runners. The seems to have same support cadance as Apple, being N-2, meaning the support latest release plus the two preceding releases (although Apples does not have an official policy this is what historicly has been the case).

I updated the version to be 10.15 (2019) which is the oldest SDK on the github runner, however i'm not sure that it will have the desired effect,

1. im not sure the value is passed down to dependens (or how this will affect build if its not passed down),
2. it seems the version of GCC we use is compiled with 11.3 and it outputs warnings about this in the log, (I think it was 11.2 when i did the original port, therefore it was originally set to 11.2)

By the way 10.8 is from 2009, but if we need to support this old devices for release we need to still build it manually on an old machine. For CI testing I think it's fine to use newer versions.