Package: frama-c / 20171101+sulfur+dfsg-2

Metadata

Package Version Patches format
frama-c 20171101+sulfur+dfsg-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0002 Use bin cp instead of usr bin install.patch | (download)

share/Makefile.common | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 use /bin/cp instead of /usr/bin/install


0003 Disable CHMOD_RO invocations.patch | (download)

share/Makefile.common | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 disable chmod_ro invocations


0004 Use ocamlfind package lablgtk2 gnome.gnomecanvas.patch | (download)

share/Makefile.config.in | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 use ocamlfind package lablgtk2-gnome.gnomecanvas


0005 Value.cmo needs LoopAnalysis.cmo.patch | (download)

Makefile | 4 4 + 0 - 0 !
1 file changed, 4 insertions(+)

 value.cmo needs loopanalysis.cmo

0007 Fix FTBFS with OCaml 4.05.0.patch | (download)

src/kernel_services/analysis/dataflow.ml | 2 1 + 1 - 0 !
src/kernel_services/analysis/dataflow2.ml | 2 1 + 1 - 0 !
src/libraries/project/state_builder.ml | 1 1 + 0 - 0 !
src/plugins/wp/qed/src/idxset.ml | 2 1 + 1 - 0 !
4 files changed, 4 insertions(+), 3 deletions(-)

 fix ftbfs with ocaml 4.05.0

0006 Fix installation on bytecode architectures.patch | (download)

Makefile | 10 8 + 2 - 0 !
1 file changed, 8 insertions(+), 2 deletions(-)

 fix installation on bytecode architectures