Makefile.dynamic should not change known_plugins.ac
ID0000462: This issue was created automatically from Mantis Issue 462. Further discussion may take place here.
|ID0000462||Frama-C||Kernel > Makefile||public||2010-04-27||2010-12-17|
|Product Version||Frama-C Boron-20100401||Target Version||-||Fixed in Version||Frama-C Carbon-20101201-beta1|
I'm not sure whether this is a bug or a feature, but in my understanding, installing an external plugin for Frama-C should not modify the files installed by Frama-C itself.
In this specific case, when the Jessie plugin wants to install, 'Makefile.dynamic' tells to append a line in '/usr/share/frama-c/known_plugins.ac'. If the user doesn't have write access on 'known_plugins.ac', the installation fails. Specifically, this would have lead to a build failure on any Debian build daemon. For now, I've desactivated this "feature" in 'Makefile.dynamic' using the attached patch.
'known_plugins.ac' is used only by the configure scripts of aorai and security_slicing. IMHO, they should rely on the existence of plugin files rather than some text file with (potentially) random content.