Wrong paths in MacOS High Sierra

[Former user]

I get the following error when trying to run on MacOS High Sierra.

dyld: Library not loaded: /usr/lib/system/libsystem_coretls.dylib
  Referenced from: /Applications/IDP/lib/libSystem.B.dylib
  Reason: image not found
ExitCode: -6

This has to do with the fact that this dylib has been moved in High Sierra. See this answer to a related issue on github: https://github.com/NixOS/nix/issues/1414#issuecomment-309234547

I'm on version 3.5.0

[Former user]

This is resolved in version 3.6.0.

[Former user]

This looked like a previous issue but is not resolved in 3.6.0. MacOS High Sierra introduced the new errors (mentioned in the original post).

[Matthias van der Hallen]

Hi Robin,

Could you try again with this release: https://dtai.cs.kuleuven.be/krr/files/releases/idp/3.6.0/idp3-3.6.0-Darwin-HS.tar.gz and report back to me?

Thank you for the bug report, Matthias

[Former user]

I now get the following error:

dyld: Symbol not found: __ZdlPvm
  Referenced from: /Applications/IDP/bin/../lib//libpbsolver.dylib
  Expected in: /usr/lib/libstdc++.6.0.9.dylib
 in /Applications/IDP/bin/../lib//libpbsolver.dylib
ExitCode: -6

I assume I just had to replace the bin, include, lib, share ... folders from my previous IDP installation with the folders you provided?

[Matthias van der Hallen]

Hi Robin,

You are correct, that should be all you need to do. Could you try again with a new version, in which I statically linked in the C++ libraries, but not the system libraries? You can find it on the link above, its md5 hash should now be: 8d996eebf44a70660550b2c6d96bbadc

Thank you.

[Former user]

Hi Matthias,

Thanks for the quick follow-up. I now get the following error, with every example I tested.

Warning: Verifying and/or autocompleting structure S
ExitCode: -4

... or similar warnings. However, I just noticed these warnings also show up in the online version of IDE (at http://adams.cs.kuleuven.be/idp/server.html), but there, a result is shown which with my local build is not the case.

[Matthias van der Hallen]

Hi Robin,

This is a strange issue, could you pass by our offices sometime with your computer so we can take a close look at it?

@ingdas; This latest issue might or might not be a mac related issue. Could you try to be there to assist?

Kind regards,

Matthias

[Bart Bogaerts]

Run idp eens van buiten de IDE. De IDE geeft foutmeldingen niet netjes door. Je zal meer i FO krijgen als je gewoon I am terminal runt.

[Former user]

Als ik het run vanuit Terminal, krijg ik dit. Ik heb nog niet veel kennis van IDP dus ik weet niet of dit al dan niet een gereleateerde issue is.

➜  IDP /Applications/IDP/bin/idp -e "main()" work.idp 
Warning: Verifying and/or autocompleting structure Hospital
[1]    84297 illegal hardware instruction  /Applications/IDP/bin/idp -e "main()" work.idp

Dit is het voorbeeld dat op deze pagina staat.

[Matthias van der Hallen]

Dag Robin,

Dat lijkt nog steeds een mac gerelateerde issue. Het lijkt me het gemakkelijkste als we een moment samen kunnen zitten hiervoor.

[Matthias van der Hallen]

In de tussentijd adviseer ik je om gebruik te maken van de docker image op https://hub.docker.com/r/krrkul/idp3/ om idp op je eigen computer te draaien.

[Matthias van der Hallen]

Dag Robin,

Kan je via https://dtai.cs.kuleuven.be/software/idp/try proberen om de nieuwste versie van idp3 te downloaden?

Daar vind je zowel een binary die op High Sierra zou moeten draaien, als een meer complete uitleg van hoe de docker versie van idp3 werkt.

Laat je weten of dit je vooruitgeholpen heeft?

[Former user]

Dag Matthias,

Ik heb het niet meer geprobeerd en ben sindsdien terug gedowngrade naar Sierra. Er zijn namelijk nog compatibiliteitsproblemen met software die ik nodig heb (NetBeans, Matlab ...)

Excuses voor het ongemak!

Robin