~ubuntu-branches/debian/sid/frama-c/sid : changes

~ubuntu-branches/debian/sid/frama-c/sid » Changes from revision 24

From Revision 8

Rev	Summary	Authors	Tags	Date
8	* Make the configure script accept OCamlgraph 1.5 (Closes: #... * Make the configure script accept OCamlgraph 1.5 (Closes: #580090) * Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~). * Add a debian/source/format file (keep the package in 1.0 format, for now).	Mehdi Dogguy	20100401+boron+dfsg-2	14 years ago
7	* New upstream release: * New upstream release: - Remove some patches integrated by upstream: + 0001-Use-GSourceView2.patch + 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch + 0004-temp_file-changed-in-OCaml-3.11.2.patch - Add some patches: + 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph + 0003-Fix-build-on-bytecode-only-architectures.patch + 0004-Fix-some-typos.patch + 0005-Don-t-modify-system-files.patch + 0006-Fix-build-on-bytecode-only-architectures.patch - Update: + 0001-Fix-hyphen-used-as-minus-sign-and-a-typo.patch - Bump ocamlgraph minimum version to 1.4 * Set Priority to optional * Set filter-pristine-tar in debian/gbp.conf * Fix watch file * Update 'Homepage' field * Bump Standards Version to 3.8.4, no changes needed. * Update copyright file	Mehdi Dogguy	20100401+boron+dfsg-1	14 years ago
6	* Make it compile with OCaml 3.11.2 (Closes: #569260) * Make it compile with OCaml 3.11.2 (Closes: #569260) - Add 0004-temp_file-changed-in-OCaml-3.11.2.patch	Mehdi Dogguy		14 years ago
5	* Fix watch file * Fix watch file * Build-depend on lablgtk2 (>= 2.14.0+dfsg-2) (Closes: #541963). - Add a patch: 0004-Use-GSourceView2.patch * Use new features of dh-ocaml * Build-dep on ocamlgraph (>> 1.2+debian)	Mehdi Dogguy		14 years ago
4	* Change the version number to reflect the codename in the v... * Change the version number to reflect the codename in the version string * New Upstream Version + Fixes the issues related the static Jessie plugin. Thus, removing: 0004-Add-JCCM-O-X-to-BYTE-OPT-_LIBS-when-linking-statical.patch (Closes: #544404). + Provides toc_head.htm and toc_tail.htm + Fixes linking problem for the viewer. Thus, removing: 0002-Do-not-add-GRAPH_GUICMO-to-BYTE_GUI_LIBS.patch + Removing 0006-Do-not-install-non-existant-files.patch (now integrated upstream) * Add some patches: + Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS on non-native architectures (Closes: #544833). 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch + Make the Jessie plugin compile with Jc 2.19: 0002-Make-Jessie-plugin-use-Jc-from-Why-2.19.patch + Fix linking problem for the viewer (add dGraphView.cmo): 0003-Add-dGraphView.cmo-when-linking.patch * Bump libocamlgraph-ocaml-dev version from 1.1 to 1.2+debian in build dependencies. * Don't strip bytecode binaries since they are compiled with -custom * Recommends alt-ergo and libwhy-coq * Remove useless runtime dependency libocamlgraph-ocaml-dev * Install data needed by frama-c in /usr/share/frama-c * Make some additional links to follow default upstream installation: + /usr/share/frama-c/why -> /usr/share/why/ + /usr/share/frama-c/caduceus -> /usr/share/caduceus	Mehdi Dogguy		14 years ago
3	* Fix long description (Closes: #533158) * Fix long description (Closes: #533158) * Tighten build dependencies versions to ease OCaml 3.11.1 transition * Rebuild with OCaml 3.11.1	Mehdi Dogguy		14 years ago
2	Do not install Journal_loader.cmxs on non-native archs, fixe... Do not install Journal_loader.cmxs on non-native archs, fixes FTBFS on non-native archs.	Mehdi Dogguy	20081201.dfsg-2	15 years ago
1	Import upstream version 20081201.dfsg Import upstream version 20081201.dfsg	Mehdi Dogguy	upstream-20081201.dfsg	15 years ago