PINS loader doesn't work with recompiled version of LTSmin

Perhaps because the precompiled binaries are statically linked? Is this a known issue?

$ pins2lts-mc peterson.so pins2lts-mc( 0/ 4): Registering PINS so language module pins2lts-mc( 3/ 4): Registering PINS so language module pins2lts-mc( 1/ 4): Registering PINS so language module pins2lts-mc( 2/ 4): Registering PINS so language module pins2lts-mc( 0/ 4): Loading model from peterson.so pins2lts-mc( 2/ 4): library has no initializer pins2lts-mc( 3/ 4): library has no initializer pins2lts-mc( 1/ 4): library has no initializer pins2lts-mc( 0/ 4): library has no initializer pins2lts-mc( 3/ 4): loading model peterson pins2lts-mc( 1/ 4): loading model peterson pins2lts-mc( 0/ 4): loading model peterson pins2lts-mc( 2/ 4): loading model peterson lazy symbol binding failed: Symbol not found: _lts_type_cr: Symbol not found: _lts_type_create Referenced from: vakken/AMC/lab1 - peterson/amc_lab1/peterson.so - peterson/amc_lab1/peterson.so Expected in: flat namespace

Never seen this. What is the OS?

Jaco van de Pol, Aarhus

Op 15 feb. 2020 om 21:51 heeft Alfons Laarman notifications@github.com het volgende geschreven:

Perhaps because the precompiled binaries are statically linked? Is this a known issue?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/utwente-fmt/ltsmin/issues/186?email_source=notifications&email_token=ABTGAZPE7L6IBZPTIXK3T3DRDBIV3A5CNFSM4KV4EPZ2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4INZRJWQ, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABTGAZOX7Y2F24HE27G6CLDRDBIV3ANCNFSM4KV4EPZQ.

utwente-fmt / ltsmin

PINS loader doesn't work with recompiled version of LTSmin #186