lp:ubuntu/wily-proposed/frama-c
- Get this branch:
- bzr branch lp:ubuntu/wily-proposed/frama-c
Branch merges
Branch information
Recent revisions
- 24. By Mehdi
-
* frama-c package must Breaks/Replaces older frama-c-base package
(<< 20150201+sodium+ dfsg-1~ ) since files were moved from the
latter to the former (Closes: #797695).
* Do not try to install plugins on bytecode architectures since they
are provided only on native architectures. This is needed to fix
FTBFS on bytecode architectures. - 21. By Mehdi
-
* The new configure script tries to compile a test program linking
against the OCamlgraph library. Unfortunately, upstream only tests
the native case and fails for the bytecode case. Since, the OCamlgraph
library is tested elsewhere, I'm adding a patch to disable that check.
This resolves observed FTBFS on bytecode architectures (mips and mipsel).
- Add 0005-Don-t-fail- during- the-configure- on-bytecode- architec. patch - 20. By Mehdi
-
* New upstream release.
- Refresh patches
- Remove 0005-Fix-compilation- with-OCaml- 4.01.0. patch
- Add 0004-Port-to-OCamlgraph- 1.8.5.patch (Closes: #746091)
* Bump build-dependency of Ocamlgraph to 1.8.5~.
* Pass --enabe-zarith to configure script instead of patching it.
- Remove 0004-Fix-auto-detection- of-ocaml- zarith. patch. - 19. By Stéphane Glondu
-
* Team upload
* debian/patches:
+ Fix compilation with OCaml 4.01.0 (Closes: #731637) - 18. By Mehdi
-
* New upstream release (Closes: #714124)
- Remove 0001-Add-ocamlgraph- to-DYN_ -O-B-LINKFLAGS. patch, fixed
upstream
- Remove 0002-Accept-ocamlgraph- 1.8.patch, fixed upstream
- Remove 0006-Patchlevel2-for-Nitrogen- 20111001. patch, integrated
- Add 0004-Fix-auto-detection- of-ocaml- zarith. patch
- Require ocamlgraph (>= 1.8.3~) on build.
* Add libzarith-ocaml-dev to Build-Depends.
* Add autoconf to Build-Depends.
* Call dh_ocaml with --nodefined-map=frama- c-base: Big_int_ Z,Z,Q, modules
already declared by ocaml-zarith. - 17. By Mehdi
-
* Port to OCamlgraph 1.8.2
- add 0007-Port-to-OCamlgraph- 1.8.2.patch
* Bump Standards-Version to 3.9.3, no changes needed
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:ubuntu/wily/frama-c