Since macOS High Sierra (10.13) the install-libraries.bash script fails when installing all libraries. The reason is, that the RACR-library directories returned by the list-libraries.bash script are differently sorted; it seems /usr/bin/find is not anymore guaranteeing lexical sorting.
Furthermore, installing atomic Petri nets using install-libraries.bash became impossible, which in turn makes composed Petri nets stale.
Note:The dependency on lexical sorting is anyway problematic in the long run. It is just coincidence that the dependency graph of RACR-libraries aligns with a lexical sorting according to their names. A better solution has to be developed, including non-circular dependency checks. For now, the existing solution has to be hot-fixed.
Since macOS High Sierra (10.13) the
install-libraries.bash
script fails when installing all libraries. The reason is, that the RACR-library directories returned by thelist-libraries.bash
script are differently sorted; it seems/usr/bin/find
is not anymore guaranteeing lexical sorting.Furthermore, installing atomic Petri nets using
install-libraries.bash
became impossible, which in turn makes composed Petri nets stale.Note: The dependency on lexical sorting is anyway problematic in the long run. It is just coincidence that the dependency graph of RACR-libraries aligns with a lexical sorting according to their names. A better solution has to be developed, including non-circular dependency checks. For now, the existing solution has to be hot-fixed.