21 May
2019
21 May
'19
10:05 a.m.
On Tue, May 21, 2019 at 9:47 AM Guillermo Perez <gaperez64(a)gmail.com> wrote:
Hello,
I am part of the SYNTCOMP organization team this year. Ltlsynt seems to me the easiest
tool to migrate into the, new this year, StarExec competition architecture. However, while
trying to prepare a binary, I found that spot generates
1. a .libs folder with libraries
2. very large dependencies like libspot.so
Is there a way to generate a statically-liked ltlsynt binary with no hidden dependencies
and without all of spot in a dynamically-liked file? (E.g. an option like "make
ltlsynt" would be ideal.)
Hi Guillarmo,
Like any libtool-based project, you can generate a statically-linked
version of the Spot binaries with
./configure --disable-shared --enable-static
make -j4
(don't forget to run "make clean" first if you are doing this on a
previous build)
--
Alexandre Duret-Lutz