Resolving dependencies...
Configuring mtl-2.2.1...
Configuring text-1.2.2.1...
Building mtl-2.2.1...
Building text-1.2.2.1...
Installed mtl-2.2.1
Installed text-1.2.2.1
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Installed parsec-3.1.11
Configuring c0parser-0.2...
Building c0parser-0.2...
Installed c0parser-0.2
Configuring c0check-0.1...
Building c0check-0.1...
Installed c0check-0.1