You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the Makefile, the file extension for the shared library is currently .so. This should be generalised.
It may be helpful to users to change the shared library to libsouffleLib.so or something similar. At present, we use the default libfunctors.so and assume that the calling Datalog file is in the same folder.
Are the ld scripts specific to Linux?
Is autoconf available on all of the target architectures?
The text was updated successfully, but these errors were encountered:
Potential issues with portability:
Makefile
, the file extension for the shared library is currently.so
. This should be generalised.libsouffleLib.so
or something similar. At present, we use the defaultlibfunctors.so
and assume that the calling Datalog file is in the same folder.autoconf
available on all of the target architectures?The text was updated successfully, but these errors were encountered: