back to dynamic library_call: not quite portable, e.g. different Windows installations (see e0c6522d5d43, 7cb68b5b103d)
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE7cb68b5b103d: proper build_call for interpreted ARM platform;
- Branches
- Unknown
- Tags