Ubuntu
frama-c package

ubuntu/+source/frama-c:applied/ubuntu/artful

  1. Git
  2. lp:ubuntu/+source/frama-c
  3. applied/ubuntu/artful
Last commit made on 2017-09-10
Get this branch:
git clone -b applied/ubuntu/artful 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/artful
Repository:
lp:ubuntu/+source/frama-c

Recent commits

e6eeee9... by Mehdi

20170501+phosphorus+dfsg-2 (patches applied)

Imported using git-ubuntu import.

465d151... by Mehdi

Do not use '-C' CPPFLAG when compiling jemalloc

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

96bee75... by Mehdi

Fix installation target on bytecode architectures

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

b7cca11... by Mehdi

Add zsh completion file

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

f911373... by Mehdi

Better handling of dynlink detection

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

60c904f... by Mehdi

More fixes of spelling errors

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

2f938a9... by Mehdi

Fix FTBFS with OCaml 4.05.0

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

c8ffa80... by Mehdi

gui.byte needs TARGETS_GUI_BYTE only

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

55184d8... by Mehdi

Value.cmo needs LoopAnalysis.cmo

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

393c81c... by Mehdi

Use ocamlfind package lablgtk2-gnome.gnomecanvas

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