Statically linking the SPOT executables

The library SPOT is useful for manipulating automata over infinite words. It comes with a few executables, such as ‘ltl2tgba‘ for translating LTL formulas to Buchi automata. To use them on a different computer (e.g., a computation server), it makes sense to link these executables statically.

Follow the following steps for an executable to make it statically linked.

1. First build SPOT like usual

2. Remove the executables to be linked statically

3. Run ´make´ again

4. Take the ´libtool´ command line and add a ´-n´ (for dry run) parameter at the beginning and ´-static´ before the ´-o´. This gives a linking command

5. Modify the linking command to build everythink statically by putting ‘-static‘ early. Then execute it.

6. Enjoy your statically linked binary!

Some random other notes

Bicycles (in German)

1. Für ein Pegasus Solero E8R Plus Bike Fahrrad (28 Zoll Radgröße), passt ein Hebie 0661 ÜL E FIX 40 L (28“-29”) Hinterbauständer als Fahrradständer. Er hat sogar schon die speziellen Senkschrauben mit Schraubensicherung für die Montage dabei.

2. Um den Schaltzug eines Decatlon Riverside 500 Bosch Performance Line Fahrrad zu ersetzen, reicht ein Shimano Schaltzug mit 2100mm Länge nicht aus – etwa 2200 mm werden benötigt. Eigentlich hat der Schaltzug 1,2mm Dicke, aber Decathlon selber verkauft auch nur 1,1mm-Schaltzüge als “Universalgröße” – dann in 2300 mm Länge.