On M1 Mac with arm64: issues java.lang.UnsatisfiedLinkError: while loading kognac-core

[irina-dragoste]

Error when running version 1.3.5 on M1 Mac (Mac with architecture arm64)

Exception in thread "main" java.lang.UnsatisfiedLinkError: while loading kognac-core: /private/var/folders/nk/mg7msvvx4rg7d9bht0l7lnwr0000gp/T/VLog-tmp6815360794293855698/libkognac-core.dylib: dlopen(/private/var/folders/nk/mg7msvvx4rg7d9bht0l7lnwr0000gp/T/VLog-tmp6815360794293855698/libkognac-core.dylib, 0x0001): tried: '/private/var/folders/nk/mg7msvvx4rg7d9bht0l7lnwr0000gp/T/VLog-tmp6815360794293855698/libkognac-core.dylib' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64e')), '/usr/lib/libkognac-core.dylib' (no such file)

Reported as a Rulewerk bug.

[irina-dragoste]

I tested VLog on an M1 Mac.
The jar try-solve-vlog-bug-96.zip attached to [linked Rulewerk issue 220] (knowsys/rulewerk#220) works with rulewerk unit and integration tests.

I also tried building the current version of VLog witb the regular cmake arguments cmake -DJAVA=1 -DSPARQL=1 .., and it works rulewerk unit and integration tests.

However, when building it with cmake -DDIST=1 -DJAVA=1 -DSPARQL=1 .., I get the attached error during building
error_msg-DDIST=1.txt

[CerielJacobs]

Ah, yes, the DIST flag must be propagated to the trident build, which, in turn, must propagate it to the kognac build.
Should work now.

[irina-dragoste]

On an M1 Mac I tried building the current version of VLog with and without the cmake argument -DDIST=1, and all rulewerk unit and integration tests work.

I guess I should also test if a jar built with -DDIST=1 on a regular Mac machine works on an M1 Mac.

[CerielJacobs]

I tried it on a "regular" Mac. Closing this issue.