PINS loader doesn't work with recompiled version of LTSmin

[alaarman]

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

[jacopol]

Never seen this. What is the OS? Jaco van de Pol, Aarhus Op 15 feb. 2020 om 21:51 heeft Alfons Laarman <[email protected]> het volgende geschreven:  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 — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub<#186?email_source=notifications&email_token=ABTGAZPE7L6IBZPTIXK3T3DRDBIV3A5CNFSM4KV4EPZ2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4INZRJWQ>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ABTGAZOX7Y2F24HE27G6CLDRDBIV3ANCNFSM4KV4EPZQ>.