Ubuntu
frama-c package

ubuntu/+source/frama-c:applied/ubuntu/bionic-proposed

  1. Git
  2. lp:ubuntu/+source/frama-c
  3. applied/ubuntu/bionic-proposed
Last commit made on 2017-10-28
Get this branch:
git clone -b applied/ubuntu/bionic-proposed https://git.launchpad.net/ubuntu/+source/frama-c
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/bionic-proposed
Repository:
lp:ubuntu/+source/frama-c

Recent commits

9a8e024... by Gianfranco Costamagna

20170501+phosphorus+dfsg-2build1 (patches applied)

Imported using git-ubuntu import.

7f62f48... by Gianfranco Costamagna

Do not use '-C' CPPFLAG when compiling jemalloc

Gbp-Pq: 0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch.

1772b8c... by Gianfranco Costamagna

Fix installation target on bytecode architectures

Gbp-Pq: 0011-Fix-installation-target-on-bytecode-architectures.patch.

73c310d... by Gianfranco Costamagna

Add zsh completion file

Gbp-Pq: 0010-Add-zsh-completion-file.patch.

1ebece5... by Gianfranco Costamagna

Better handling of dynlink detection

Gbp-Pq: 0009-Better-handling-of-dynlink-detection.patch.

fbd88f8... by Gianfranco Costamagna

More fixes of spelling errors

Gbp-Pq: 0008-More-fixes-of-spelling-errors.patch.

3d4d6ea... by Gianfranco Costamagna

Fix FTBFS with OCaml 4.05.0

Gbp-Pq: 0007-Fix-FTBFS-with-OCaml-4.05.0.patch.

b847894... by Gianfranco Costamagna

gui.byte needs TARGETS_GUI_BYTE only

Gbp-Pq: 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch.

a1f6669... by Gianfranco Costamagna

Value.cmo needs LoopAnalysis.cmo

Gbp-Pq: 0005-Value.cmo-needs-LoopAnalysis.cmo.patch.

6feebe3... by Gianfranco Costamagna

Use ocamlfind package lablgtk2-gnome.gnomecanvas

Gbp-Pq: 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch.