On Tue, May 21, 2019 at 9:47 AM Guillermo Perez <gaperez64@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