* Small fixes to make it compile again (still do not work at execution though)
tree6b81c96bec91b800b148b2483982816d9a43aead
-rw-r--r-- 26440 COPYING
-rw-r--r-- 2677 CirC.mds
drwxr-xr-x - CirC
drwxr-xr-x - Circ.Backend.Cil
drwxr-xr-x - Circ.Frontend.GtkSharp
drwxr-xr-x - Circ.Lib
-rw-r--r-- 19545 Makefile
-rw-r--r-- 385 Makefile.am
-rw-r--r-- 18471 Makefile.in
-rw-r--r-- 1704 Makefile.include
-rw-r--r-- 222 TODO
drwxr-xr-x - Tests
-rwxr-xr-x 2181 autogen.sh
-rw-r--r-- 9350 config.log
-rwxr-xr-x 24171 config.status
-rwxr-xr-x 118762 configure
-rw-r--r-- 1571 configure.ac
drwxr-xr-x - data
lrwxrwxrwx 35 install-sh -> /usr/share/automake-1.10/install-sh
lrwxrwxrwx 32 missing -> /usr/share/automake-1.10/missing
drwxr-xr-x - plugins