• Teams
• OCamlTaskForce
• OCamlTransitions

Migration to OCaml 3.11.1

Status: migration (for debian-ports too), overall, binNMU candidates

Check list

List of things you should check / do while updating your package for OCaml 3.11.1:

• package new upstream version: implies (of course) a sourceful upload
• move to section ocaml if relevant
• update Standards-Version to 3.8.2

• add a build-dependency on dh-ocaml

• if you use something from /usr/share/cdbs/, update to the new dh-ocaml
• consider switching debian/rules to one of: CDBS, plain ocamlinit.mk, dh
• (libraries only) ensure you are generating ocamldoc API reference in HTML format (to be registered in doc-base under section Programming/OCaml): for that you can use /usr/share/ocaml/ocamldoc-api-ref-config shipped by dh-ocaml

• check your debian/*.in files: they should use the @OCamlStdlibDir@ substitution variable to reference ocamlc -where, do not rely on /usr/lib/ocaml/@OCamlABI@

  • similarly: use @OCamlDllDir@ for /stublibs/

• check whether Ubuntu differences should be integrated (see this page)

• consider migrating your package to Git (for uniformity with other packages, though not required)

• check you are distributing at least one of .mli / .ml (the latter only if the former is missing) for each .cmi

• remove additional dependencies added for uploads to experimental

Upload rounds

If you think a package needs some work and a binNMU might not be appropriate, please add it to a round or the TODO list.

TODO

This section summarizes packages that will need sourceful uploads, but are not ready yet:

MikeFurr's TODO-list:

• Transition svn packages to git: felix ocaml-getopt ocaml-reins ocamlcreal otags

TODO per round

The rounds below are levels in the build-dep graph, they can be seen on the migration monitoring page. Put here the packages that need sourceful upload, and someone who is planning to deal with them, and/or why they need a sourceful upload. Packages can be removed once they appear green on the monitoring page. When all these packages have been dealt with, we can have the binNMU scheduled.

Round 1

• ocaml (new upstream) (StephaneGlondu, DONE, 24/6)

Round 2

• camlp5 (new upstream) (StephaneGlondu, DONE, 28/6)

• headache (arch:all) (SylvainLeGall), DONE, 30/6)

• hevea (arch:all) (DONE, Ralf, 24/6)

• hlins (arch:all) (DONE, Ralf, 24/6)

• jocaml (needs sourceful upload) (MehdiDogguy, DONE, 7/7)

• mlpost (updated) (StephaneGlondu, DONE, 27/6)

• ocamlduce (new upstream) (StephaneGlondu, DONE 24/6)

• ocamlwc (arch:all) (DONE, Ralf, 24/6)

• ocamlweb (arch:all) (DONE, Ralf, 24/6)

• planets (arch:all) (DONE, Ralf, 24/6)

• polygen (arch:all) (DONE, Zack, 5/7)

• spamoracle (arch:all) (DONE, SylvainLeGall, 2/7)

• menhir (new upstream) (MehdiDogguy, DONE 24/6)

• felix (fixed usage of old stdlib location, MehdiDogguy) (Stéphane sent a RoM… #534691)

Round 3

• bibtex2html (arch:all) (DONE, Ralf, 25/6)

• lablgtk2 (fix FTBFS with libgnomeui) (StephaneGlondu, DONE, 30/6)

• ledit (arch:all) (StephaneGlondu, DONE, 2/7)

• ocaml-res (new upstream) (StephaneGlondu, DONE, 1/7)

• ocaml-sqlite3 (new upstream) (StephaneGlondu, DONE, 30/6)

• pcre-ocaml (new upstream) (StephaneGlondu, DONE, 1/7)

• ocaml-libvirt (new upstream) (SylvainLeGall, DONE, 7/7)

• ocaml-bitstring (new upstream) (SylvainLeGall, DONE, 2/7)

• camomile (new upstream) (SylvainLeGall, DONE, 2/7)

• otags (fixed usage of old stdlib location, MehdiDogguy) (sourcefull upload) (Done, 1/7)

• ocaml-getopt (fixed usage of old stdlib location, MehdiDogguy) (sourcefull upload) (Done, 1/7)

• ocamlcreal (fixed usage of old stdlib location, MehdiDogguy) (sourcefull upload, DONE, 9/7)

Round 4

• ara (arch:all)

• cmigrep (arch:all) (fixed usage of old stdlib location, MehdiDogguy, DONE, 9/7)

• coq (arch:all) (StephaneGlondu, DONE, 1/7)

• sexplib310 (new upstream) (SylvainLeGall, DONE, 7/7)

• bin-prot (new upstream) (SylvainLeGall, DONE, 7/7)

• mtasc (hurd-i386 FTBFS fixage) (PaulWise)

• ocamlgraph (new upstream) (MehdiDogguy, DONE, 7/7)

• mldonkey (configure needs to be patched to make it accepts 3.11.1) (MehdiDogguy, DONE, 4/7)

• laby (new upstream + fix bug in rules/subsvars) (MehdiDogguy, DONE, 4/7)

Round 5

• coq-float (arch:all) (StephaneGlondu, DONE, 1/7)

• ocaml-batteries (arch:all)

• ocsigen (fix FTBFS with pcre-ocaml, new upstream) (StephaneGlondu, DONE, 2/7)

• alt-ergo (new upstream) (MehdiDogguy, DONE, 7/7)

Round 6

• nurpawiki (updated) (StephaneGlondu)

BinNMU

• no binNMU needed for edos-debcheck and edos-rpmcheck (they are transitional packages from 1.0-9 on)