Resolving dependencies...
Configuring text-1.2.2.2...
Building text-1.2.2.2...
Installed text-1.2.2.2
Configuring system-filepath-0.4.13.4...
Building system-filepath-0.4.13.4...
Warning: /tmp/pkgConf-system-filepath-0.4.1320448977631967513926.4:
Unrecognized field dynamic-library-dirs on line 23
Installed system-filepath-0.4.13.4
Configuring g4ip-prover-0.1.0.1...
Building g4ip-prover-0.1.0.1...
Installed g4ip-prover-0.1.0.1