j
k
j a
j l
Hi,
although I link with -lgambc the output file is statically linked. How can I link dynamically?
Sascha
Show replies by date
gambit-list@iro.umontreal.ca
Add to favorites Remove from favorites