Makefile.config: It contains references to the external programs used to compile the developer documentation. Instead of fig2pdf some might want to use fig2dev (part of the xfig package). Use "figdev -L pdf" instead of for the FIG2PDF macros in this case.
"src/plugins/e-acsl/tests/gmp/oracle/array.1.res.oracle" did not exist on "65fcf8833276c5a0c221974f3aead00b6dcbbd67"