POSTIN

/bin/sh

echo "ENABLE_JESSIE=yes" >> /usr/share/frama-c/known_plugins.ac
semanage fcontext -a -t textrel_shlib_t '/usr/lib64/frama-c/plugins/Jessie.cmxs'
restorecon '/usr/lib64/frama-c/plugins/Jessie.cmxs'

POSTUN

/bin/sh

sed -e "/ENABLE_JESSIE=yes/d" -i /usr/share/frama-c/known_plugins.ac