mattia@debian:~$ ls -l /usr/local/systemc-2.3.1/lib-linux64/
totale 5416
-rwxr-xr-x 1 root staff 2009584 mar 8 18:50 libsystemc-2.3.1.so
-rw-r--r-- 1 root staff 3525752 mar 8 18:50 libsystemc.a
-rwxr-xr-x 1 root staff 1043 mar 8 18:50 libsystemc.la
lrwxrwxrwx 1 root staff 19 mar 8 18:50 libsystemc.so -> libsystemc-2.3.1.so
drwxr-sr-x 2 root staff 4096 mar 8 18:50 pkgconfig