Bug#467563: camlp5 strict mode?

Hi, I looked at how camlp5 is compiled and I believe to build transitional _and_ strict camlp5 executables and libraries from one source package will require quite a bit of work. The reason is that the names of executables and libraries are hardcoded in the makefiles and that these names are ident

ocamlnet_3.5-1_amd64.changes ACCEPTED into unstable

Accepted: libapache2-mod-ocamlnet_3.5-1_amd64.deb to main/o/ocamlnet/libapache2-mod-ocamlnet_3.5-1_amd64.deb libnethttpd-ocaml-dev_3.5-1_amd64.deb to main/o/ocamlnet/libnethttpd-ocaml-dev_3.5-1_amd64.deb libocamlnet-gtk2-ocaml-dev_3.5-1_amd64.deb to main/o/ocamlnet/libocamlnet-gtk2-ocaml-d

Processing of ocamlnet_3.5-1_amd64.changes

ocamlnet_3.5-1_amd64.changes uploaded successfully to localhost along with the files: ocamlnet_3.5-1.dsc ocamlnet_3.5.orig.tar.gz ocamlnet_3.5-1.debian.tar.gz libocamlnet-ocaml-dev_3.5-1_amd64.deb libocamlnet-ocaml_3.5-1_amd64.deb libocamlnet-ocaml-bin_3.5-1_amd64.deb libocamlnet-gtk2

ocaml_3.12.2~~dev6+12112-3_amd64.changes ACCEPTED into experimental

Accepted: camlp4-extra_3.12.2~~dev6+12112-3_amd64.deb to main/o/ocaml/camlp4-extra_3.12.2~~dev6+12112-3_amd64.deb camlp4_3.12.2~~dev6+12112-3_amd64.deb to main/o/ocaml/camlp4_3.12.2~~dev6+12112-3_amd64.deb ocaml-base-nox_3.12.2~~dev6+12112-3_amd64.deb to main/o/ocaml/ocaml-base-nox_3.12.2~

Processing of ocaml_3.12.2~~dev6+12112-3_amd64.changes

ocaml_3.12.2~~dev6+12112-3_amd64.changes uploaded successfully to localhost along with the files: ocaml_3.12.2~~dev6+12112-3.dsc ocaml_3.12.2~~dev6+12112-3.debian.tar.gz ocaml-nox_3.12.2~~dev6+12112-3_amd64.deb camlp4_3.12.2~~dev6+12112-3_amd64.deb camlp4-extra_3.12.2~~dev6+12112-3_amd64.

tyxml_2.0.2-1_amd64.changes ACCEPTED into unstable

Accepted: libtyxml-ocaml-dev_2.0.2-1_amd64.deb to main/t/tyxml/libtyxml-ocaml-dev_2.0.2-1_amd64.deb libtyxml-ocaml-doc_2.0.2-1_all.deb to main/t/tyxml/libtyxml-ocaml-doc_2.0.2-1_all.deb libtyxml-ocaml_2.0.2-1_amd64.deb to main/t/tyxml/libtyxml-ocaml_2.0.2-1_amd64.deb tyxml_2.0.2-1.debian.t

Processing of tyxml_2.0.2-1_amd64.changes

tyxml_2.0.2-1_amd64.changes uploaded successfully to localhost along with the files: tyxml_2.0.2-1.dsc tyxml_2.0.2.orig.tar.gz tyxml_2.0.2-1.debian.tar.gz libtyxml-ocaml-dev_2.0.2-1_amd64.deb libtyxml-ocaml_2.0.2-1_amd64.deb libtyxml-ocaml-doc_2.0.2-1_all.deb Greetings, Your D

Bug#467563: camlp5 strict mode?

Le 28/02/2012 09:21, Hendrik Tews a écrit : > I just noticed that camlp5 from Debian cannot compile hol-light, > because the latter requires a strict camlp5 (with configure -strict). > Has it ever be considered adding a Debian package for a strict > camlp5? See http://bugs.debian.org/cgi-bin/bugr

findlib_1.2.8+debian-1_amd64.changes ACCEPTED into unstable

Accepted: findlib_1.2.8+debian-1.debian.tar.gz to main/f/findlib/findlib_1.2.8+debian-1.debian.tar.gz findlib_1.2.8+debian-1.dsc to main/f/findlib/findlib_1.2.8+debian-1.dsc findlib_1.2.8+debian.orig.tar.gz to main/f/findlib/findlib_1.2.8+debian.orig.tar.gz libfindlib-ocaml-dev_1.2.8+debia

camlp5 strict mode?

Hi, I just noticed that camlp5 from Debian cannot compile hol-light, because the latter requires a strict camlp5 (with configure -strict). Has it ever be considered adding a Debian package for a strict camlp5? Bye, Hendrik -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.de

Processing of findlib_1.2.8+debian-1_amd64.changes

findlib_1.2.8+debian-1_amd64.changes uploaded successfully to localhost along with the files: findlib_1.2.8+debian-1.dsc findlib_1.2.8+debian.orig.tar.gz findlib_1.2.8+debian-1.debian.tar.gz ocaml-findlib_1.2.8+debian-1_amd64.deb libfindlib-ocaml-dev_1.2.8+debian-1_amd64.deb libfindlib-