lp:debian/frama-c

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

24. By Mehdi on 2015-09-01

* 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.

23. By Mehdi on 2015-08-31

* New upstream release (Closes: #797473).
  - Refrech patches.
  - Drop 0004-Port-to-OCamlgraph-1.8.5.patch: Integrated upstream.
* Bump Standards-Version to 3.9.6, no changes needed.
* Disable DH_VERBOSE in d/rules.
* Install GUI plugins and modules using GTK2 in frama-c package
  only (Closes: #792612).

22. By Mehdi on 2014-04-29

Add a call to autoconf prior to configure.

21. By Mehdi on 2014-04-28

* 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 on 2014-04-27

* 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 on 2013-12-08

* Team upload
* debian/patches:
  + Fix compilation with OCaml 4.01.0 (Closes: #731637)

18. By Mehdi on 2013-11-25

* 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 on 2012-05-16

* 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

16. By Mehdi on 2012-01-06

* Include patchlevel2 for Nitrogen 20111001.
  - add debian/patches/0006-Patchlevel2-for-Nitrogen-20111001.patch

15. By Mehdi on 2012-01-03

add 0005-Disable-CHMOD_RO-invocations.patch.